1059 search results - page 46 / 212 » Modeling Security Protocols as Games |
203
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
Standard multi-party computation models assume semi-honest behavior, where the majority of participants implement protocols according to specification, an assumption not always pl...
109
Voted
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Digital identity and trust management mechanisms play an important role on the Internet. They help users make decisions on trustworthiness of digital identities in online communit...
105
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
96
Voted
CSFW
2005
IEEE
15 years 6 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 ...
91
Voted
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...