1853 search results - page 51 / 371 » Cryptographic Protocols and Network Security |
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
A common way of resisting protocol attacks is to employ cryptographic techniques so that provable security can be retained. However, some desired requirements of watermarking such...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We show attacks on several cryptographic schemes that have recently been proposed for achieving various security goals in sensor networks. Roughly speaking, these schemes all use ...
CSL
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
IDTRUST
2009
ACM
15 years 6 months ago
2009
ACM
Public key cryptography is widely used to secure transactions over the Internet. However, advances in quantum computers threaten to undermine the security assumptions upon which c...
PACT
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...