1317 search results - page 76 / 264 » A New Design for a Practical Secure Cookies System |
123
click to vote
NDSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper analyzes the IEEE 802.11i wireless networking standard with respect to data confidentiality, integrity, mutual authentication, and availability. Under our threat model,...
119
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
147
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
142
Voted
PET
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a novel use of pairing-based cryptography to improve circuit construction in onion routing anonymity networks. Instead of iteratively and interactivel...
146
Voted
ESAW
2009
Springer
15 years 2 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...