178 search results - page 3 / 36 » A Formal Model for Network-Wide Security Analysis |
CCS
2005
ACM
13 years 12 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
FM
2003
Springer
13 years 11 months ago
2003
Springer
IFIP
2010
Springer
13 years 1 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
ESORICS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
SACMAT
2009
ACM
14 years 27 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...