718 search results - page 21 / 144 » Security protocols, properties, and their monitoring |
113
click to vote
IJNSEC
2006
15 years 1 months ago
2006
Password authentication protocols range from complex public-key cryptosystems to simple hash-based password authentication schemes. One common feature of these protocols is that t...
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
120
Voted
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
103
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
133
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...