1342 search results - page 110 / 269 » Attacks are Protocols Too |
168
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
If multicast communication appears as the most efficient way to send data to a group of participants, it presents also more vulnerabilities to attacks and requires services such as...
200
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
147
click to vote
CN
2000
15 years 6 months ago
2000
Passport is a protocol that enables users to sign onto many different merchants' web pages by authenticating themselves only once to a common server. This is important becaus...
181
click to vote
FROCOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
170
click to vote
DEXAW
2006
IEEE
16 years 17 days ago
2006
IEEE
A significant challenge for Peer-to-Peer (P2P) systems is maintaining the correctness and consistency of their global data structures and shared contents as peers independently a...