70 search results - page 6 / 14 » A Framework for Verifying Data-Centric Protocols |
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
IFIPTM
2010
14 years 8 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
ASIACRYPT
2009
Springer
15 years 1 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
FAC
2008
14 years 9 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
ICWN
2008
14 years 11 months ago
2008
Authentic program modification is very important for a multi-application smart card system since applications in the system are realized after the issuance of the smart card. In t...