274 search results - page 4 / 55 » Formal procedural security modeling and analysis |
102
Voted
CCS
2005
ACM
15 years 3 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...
83
Voted
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
64
Voted
FM
2003
Springer
15 years 3 months ago
2003
Springer
82
Voted
IFIP
2010
Springer
14 years 5 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...
88
Voted
WSC
1996
14 years 11 months ago
1996
Sequential analysis of simulation output is generally accepted as the most efficient way for securing representativeness of samples of collected observations. In this scenario a s...