1059 search results - page 118 / 212 » Modeling Security Protocols as Games |
131
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
125
Voted
CAD
2000
Springer
15 years 3 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...
152
Voted
AI
2010
Springer
15 years 14 days ago
2010
Springer
How do we build algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human interaction, such...
135
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
114
Voted
INFORMATIKTAGE
2008
15 years 5 months ago
2008
: This thesis focuses on the practical aspects of general two-party Secure Function Evaluation (SFE). A new SFE protocol that allows free evaluation of XOR gates and is provably se...