Sciweavers

4111 search results - page 187 / 823
» Security, Protocols, and Trust
Sort
View
ESORICS
2005
Springer
16 years 19 days ago
Browser Model for Security Analysis of Browser-Based Protocols
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sa...
ICFEM
2003
Springer
16 years 9 days ago
A Z Based Approach to Verifying Security Protocols
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
Benjamin W. Long, Colin J. Fidge, Antonio Cerone
ESORICS
2009
Springer
16 years 7 months ago
Secure Ownership and Ownership Transfer in RFID Systems
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pi...
156
Voted
IEEEARES
2007
IEEE
16 years 1 months ago
A Recovery Protocol for Middleware Replicated Databases Providing GSI
José Enrique Armendáriz-Iñigo...