343 search results - page 64 / 69 » Formal security analysis of PKCS |
121
click to vote
JAR
2000
14 years 11 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
82
Voted
ISI
2004
Springer
15 years 5 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
WWW
2007
ACM
16 years 10 days 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...
113
click to vote
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
ICNP
2007
IEEE
15 years 6 months ago
2007
IEEE
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...