3504 search results - page 81 / 701 » Secure protocol composition |
ACNS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a new protocol providing cryptographically secure authentication to unaided humans against passive adversaries. We also propose a new generic passive attack on...
110
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
104
Voted
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
105
click to vote
CONEXT
2006
ACM
15 years 8 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
POPL
2010
ACM
15 years 12 months ago
2010
ACM