56 search results - page 6 / 12 » A Formal Analysis of Authentication in the TPM |
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
101
click to vote
APN
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
JCS
2007
14 years 9 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
79
Voted
JSW
2008
14 years 9 months ago
2008
A protocol for assuring the authenticity of information broadcasted over long periods of time is proposed. The protocol is based on time synchronization and uses one-way chains con...
ASWEC
2006
IEEE
15 years 3 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...