3088 search results - page 552 / 618 » Multichannel Security Protocols |
ASIAN
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
CARDIS
2006
Springer
14 years 2 months ago
2006
Springer
In this paper we propose three smartcard-based variants of anonymous authentication using unique one-time pseudonyms. The first variant can be used to authenticate a user. However,...
DCOSS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. While sensor networks have recently emerged as a promising computing model, they are vulnerable to various node compromising attacks. In this paper, we propose COOL, a CO...
FSE
2006
Springer
14 years 2 months ago
2006
Springer
The Ideal-Cipher Model of a blockcipher is a well-known and widely-used model dating back to Shannon [24] and has seen frequent use in proving the security of various cryptographi...
AUSAI
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...