166 search results - page 23 / 34 » Formal analysis of secure contracting protocol for e-tenderi... |
128
click to vote
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
116
Voted
ADHOCNOW
2008
Springer
15 years 8 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
112
click to vote
ENTCS
2006
15 years 1 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
163
click to vote
CSFW
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...