3504 search results - page 147 / 701 » Secure protocol composition |
148
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
155
click to vote
ICPPW
2003
IEEE
15 years 10 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
135
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
150
Voted
CCS
2005
ACM
15 years 10 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
123
click to vote
CSFW
1992
IEEE
15 years 9 months ago
1992
IEEE
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...