1059 search results - page 118 / 212 » Modeling Security Protocols as Games |
102
click to vote
FROCOS
2007
Springer
15 years 6 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...
CAD
2000
Springer
15 years 12 days 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...
124
Voted
AI
2010
Springer
14 years 9 months 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...
109
click to vote
AINA
2007
IEEE
15 years 7 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...
88
Voted
INFORMATIKTAGE
2008
15 years 2 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...