Search Sciweavers | Sciweavers

4111 search results - page 187 / 823

» Security, Protocols, and Trust

click to vote

ESORICS
2005
Springer

112views Security Privacy» more ESORICS 2005»

Browser Model for Security Analysis of Browser-Based Protocols

14 years 4 months ago

Download eprint.iacr.org

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...

claim paper

Read More »

click to vote

ICFEM
2003
Springer

95views Software Engineering» more ICFEM 2003»

A Z Based Approach to Verifying Security Protocols

14 years 3 months ago

Download sky.fit.qut.edu.au

Abstract. Security protocols preserve essential properties, such as conﬁdentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...

Benjamin W. Long, Colin J. Fidge, Antonio Cerone

claim paper

Read More »

click to vote

ESORICS
2009
Springer

152views Security Privacy» more ESORICS 2009»

Secure Ownership and Ownership Transfer in RFID Systems

14 years 11 months ago

Download satoss.uni.lu

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...

claim paper

Read More »

click to vote

IEEEARES
2008
IEEE

104views Security Privacy» more IEEEARES 2008»

A Database Replication Protocol Where Multicast Writesets Are Always Committed

14 years 5 months ago

Download www.cs.odu.edu

J. R. Juárez-Rodríguez, José ...

claim paper

Read More »