947 search results - page 70 / 190 » Provable Implementations of Security Protocols |
CORR
2002
Springer
14 years 11 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
STORAGESS
2006
ACM
15 years 5 months ago
2006
ACM
New designs for petabyte-scale storage systems are now capable of transferring hundreds of gigabytes of data per second, but lack strong security. We propose a scalable and effici...
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Since IP packet reassembly requires resources, a denial of service attack can be mounted by swamping a receiver with IP fragments. In this paper we argue how this attack need not ...
CANS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Solutions for an easy and secure setup of a wireless connection between two devices are urgently needed for WLAN, Wireless USB, Bluetooth and similar standards for short ...
SCN
2010
Springer
14 years 10 months ago
2010
Springer
The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security models, are widely used to provide security arguments for key agreement protocols. We discuss security s...