141 search results - page 4 / 29 » Type Based Discretionary Access Control |
IFIP
2005
Springer
13 years 11 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
CSFW
2006
IEEE
13 years 12 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
WETICE
2008
IEEE
14 years 4 days ago
2008
IEEE
The Bell-LaPadula security model is a hybrid model that combines mandatory access controls and discretionary access controls. The Bell-LaPadula security model has been widely acce...
NSPW
2004
ACM
13 years 11 months ago
2004
ACM
Digital rights management systems allow copyrighted content to be commercialized in digital format without the risk of revenue loss due to piracy. Making such systems secure is no...
ENTCS
2007
13 years 5 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...