![]() |
Hello and Welcome from United States to the UNIX and Linux Forums! Thank You for Visiting and Joining Our Global Community.
|
|
google unix.com
|
|||||||
| Forums | Register | Forum Rules | Links | Albums | FAQ | Members List | Calendar | Search | Today's Posts | Mark Forums Read |
| UNIX and Linux RSS News The latest news covering Solaris, RedHat, Ubuntu, Debian, Slackware, HP-UX, AIX, BSD, Apple OS X and more! |
More UNIX and Linux Forum Topics You Might Find Helpful
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Algebra and logic for access control | iBot | UNIX and Linux RSS News | 0 | 07-07-2008 05:10 AM |
| Internet Access Control | fruiz | UNIX for Dummies Questions & Answers | 1 | 06-23-2008 11:33 AM |
| Access Control List | mpang_ | Shell Programming and Scripting | 3 | 01-24-2007 09:31 AM |
| Access control Lists | sroberts82 | UNIX for Dummies Questions & Answers | 1 | 10-14-2005 10:58 AM |
| Access Control | zertoir | Filesystems, Disks and Memory | 1 | 09-24-2003 11:32 AM |
![]() |
|
|
LinkBack | Thread Tools | Search this Thread | Rate Thread | Display Modes |
|
|||||
|
Algebra and logic for access control
HPL-2008-75 (R.1) Algebra and logic for access control - Collinson, Matthew; Pym, David
Keyword(s): Access control, process algebra, bunched Logic; systems modelling Abstract: The access control problem in computer security is fundamentally concerned with the ability of system entities to see, make use of, or alter various system resources. As such, many access control situations are essentially problems of concurrency. We give an account of fundamental situations in acce ... Full Report More... |
| Sponsored Links | ||
|
|
![]() |
| Bookmarks |
| Thread Tools | Search this Thread |
| Display Modes | Rate This Thread |
|
|