learn unix and linux commands

Bell-LaPadula model - original papers


 
Thread Tools Search this Thread
# 1  
Old 12-18-2008
Bell-LaPadula model - original papers

Going back, well, almost to the beginning:

A reconstruction of the first part of the famous Bell-LaPadula (BLP) model.  Note that this is a formal mathematical model, using symbolic logic.  Not the first formal model of security, nor even the first state machine model, but one of the most useful in the early days.

The second part of the famous Bell-LaPadula model is available here.

So, now you know.

Possibly easier to follow, a review of the Bell-LaPadula model, thirty years later, by David Bell.

Image
Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread

8 More Discussions You Might Find Interesting

1. Shell Programming and Scripting

How to ring the system bell many times without pause?

I am writing a ksh script in cygwin though it could just as easily be bash and am trying to make an alert for myself where the bell rings many times like print '\a'or echo '^G'except I want it to ping me many times not just once. For some reason doing print '\a\a\a\a\a\a\a\a\a\a'or similar... (7 Replies)
Discussion started by: benalt
7 Replies

2. Solaris

System hangs (freezes) on system bell/beep

I am running OpenIndiana development version oi_148 32-bit on a seven-year-old Dell Inspiron 8600. Seems to be running fine except for one particular annoyance: It freezes whenever a system bell/beep plays. I have mitigated this by turning the system bell off in gnome-terminal, which I use... (3 Replies)
Discussion started by: DeadBadger
3 Replies

3. UNIX for Dummies Questions & Answers

Unix logo(Original).

Hi, What is the Unix's logo(Original)? Thanks, regards. (0 Replies)
Discussion started by: Y.P.Y
0 Replies

4. What is on Your Mind?

UNIX Admin (Papers and study material)

Hi, I want to prepare and then appear for Unix admin certification. Please guide me for the study material and Exams that are required to be taken for UNIX certifcation. Thanks in advance. (11 Replies)
Discussion started by: raman1605
11 Replies

5. Shell Programming and Scripting

Why the cp keeps the original ownership?

I want to copy a file from another user to my owner directory, and want to change the ownership to my account. in jung's directory: -rwxr-xr-x 1 jung smart 23 Dec 1 2005 .runme cp /home/jung/runme . under my directory: -rwxr-xr-x 1 jung smart 23 Dec 1... (1 Reply)
Discussion started by: freelong
1 Replies

6. UNIX for Dummies Questions & Answers

RHCE Exam Sample Papers

Hi All, Does anyone have RHCE Exam Sample or Practice Papers ?? I am planning to give it asap. Pls help. Thanks n Regards, Vikas (1 Reply)
Discussion started by: vikas027
1 Replies

7. UNIX for Dummies Questions & Answers

SuSE install on a Packard Bell m415

hi everybody, I just installed Suse on an old Packard Bell. When the install was at detecting my moden, it hung. I couldn't free it sooooo, I pressed ctrl+alt+backspace. Yup that killed the process alright. The machine went right down and upon reboot it is now at the KDE welcome page. Here... (2 Replies)
Discussion started by: joetech
2 Replies

8. UNIX for Dummies Questions & Answers

Original Path

I've got one I haven't been able to figure out. 1. A shell script exists- /junk/junk1/junk2/junk3.sh 2. From within the above named shell script, I want to know the full path of the above named shell script. Even if I execute the shell script from a directory other than the one it resides in,... (5 Replies)
Discussion started by: therealtiger
5 Replies
Login or Register to Ask a Question
OWL::DirectSemantics::Translator(3pm)			User Contributed Perl Documentation		     OWL::DirectSemantics::Translator(3pm)

NAME
OWL::DirectSemantics::Translator - lift an OWL2 model from an RDF model SYNOPSIS
use RDF::Trine; my $model = RDF::Trine::Model->temporary_model; RDF::Trine::Mode->parse_url_into_model($url, $model); use OWL::DirectSemantics; my $translator = OWL::DirectSemantics::Translator->new; my $ontology = $translator->translate($model); DESCRIPTION
This translator is only about 90% complete. Constructor "new" Creates a new translator object, primed and ready for action! Method "translate($model [,$ontology_node])" Translates the data in the RDF::Trine::Model provided into OWL, returning an OWL::DirectSemantics::Element::Ontology object. The model is generally assumed to contain a single ontology. $ontology_node is an optional RDF::Trine::Node object containing the ontology's URIor blank node identifier. $model will be modified by the translation process. Any triples translated to OWL are removed from the model. Any triples remaining are ones that could not be translated. (If the model provided is OWL DL-compatible, there should be no triples remaining after translation.) SEE ALSO
OWL::DirectSemantics. AUTHOR
Toby Inkster <tobyink@cpan.org>. COPYRIGHT
Copyright 2011-2012 Toby Inkster This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself. DISCLAIMER OF WARRANTIES
THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE. perl v5.14.2 2012-06-28 OWL::DirectSemantics::Translator(3pm)