Sponsored Content
Special Forums Cybersecurity IT Security RSS Bell-LaPadula model - original papers Post 302269827 by Linux Bot on Thursday 18th of December 2008 06:30:02 PM
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...
 

8 More Discussions You Might Find Interesting

1. 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

2. 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

3. 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

4. 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

5. 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

6. 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

7. 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

8. 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
httppower(8)							     powerman							      httppower(8)

NAME
httppower - communicate with HTTP based power distribution units SYNOPSIS
httppower [--url URL] DESCRIPTION
httppower is a helper program for powerman which enables it to communicate with HTTP based power distribution units. It is run interac- tively by the powerman daemon. OPTIONS
-u, --url URL Set the base URL. INTERACTIVE COMMANDS
The following commands are accepted at the httppower> prompt: auth user:pass Authenticate to the base URL with specified user and password, using ``basic'' HTTP authentication which sends the user and password over the network in plain text. seturl URL Set the base URL. Overrides the command line option. get [URL-suffix] Send an HTTP GET to the base URL with the optional URL-suffix appended. post [URL-suffix] key=val[&key=val]... Send an HTTP POST to the base URL with the optional URL-suffix appended, and key-value pairs as argument. FILES
/usr/sbin/httppower /etc/powerman/powerman.conf ORIGIN
PowerMan was originally developed by Andrew Uselton on LLNL's Linux clusters. This software is open source and distributed under the terms of the GNU GPL. SEE ALSO
powerman(1), powermand(8), httppower(8), plmpower(8), vpcd(8), powerman.conf(5), powerman.dev(5), powerman-devices(7). http://sourceforge.net/projects/powerman powerman-2.3.5 2009-02-09 httppower(8)
All times are GMT -4. The time now is 07:06 PM.
Unix & Linux Forums Content Copyright 1993-2022. All Rights Reserved.
Privacy Policy