351 search results - page 35 / 71 » Formalisation and implementation of Access control models |
94
Voted
CORR
2008
Springer
15 years 18 days ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
89
Voted
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
101
Voted
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Computer usage and threat models have changed drastically since the advent of access control systems in the 1960s. Instead of multiple users sharing a single file system, each us...
127
click to vote
COMCOM
2007
15 years 9 days ago
2007
This paper presents a new algorithm for jointly optimal control of session rate, link attempt rate, and link power in contention based MultiHop Wireless Networks. Formulating the ...
86
Voted
ISQED
2009
IEEE
15 years 7 months ago
2009
IEEE
An outstanding challenge for realizing nanoelectronic systems is nano-interface design, i.e., how to precisely access a nanoscale wire in an array for communication between a nano...