166 search results - page 21 / 34 » Formal analysis of secure contracting protocol for e-tenderi... |
100
Voted
DAGSTUHL
2003
15 years 3 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
133
Voted
ACNS
2007
Springer
15 years 8 months ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
154
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
151
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
99
Voted
CISC
2005
Springer
15 years 7 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...