Sciweavers

507 search results - page 40 / 102
» The relation between protocols and games
Sort
View
NETWORKING
2000
15 years 1 months ago
An Interworking Call Control Solution for a Multidiscipline Switch
The development of multimedia services is pushing networking technologies towards broadband solutions. A lot of research and development effort has been spent on finding a universa...
Pertti Raatikainen, Sami Raatikainen
ATAL
2005
Springer
15 years 6 months ago
Theory of moves learners: towards non-myopic equilibria
In contrast to classical game theoretic analysis of simultaneous and sequential play in bimatrix games, Steven Brams has proposed an alternative framework called the Theory of Mov...
Arjita Ghosh, Sandip Sen
96
Voted
OTM
2007
Springer
15 years 6 months ago
Property-Preserving Evolution of Components Using VPA-Based Aspects
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
Dong Ha Nguyen, Mario Südholt
99
Voted
TCC
2005
Springer
108views Cryptology» more  TCC 2005»
15 years 6 months ago
Comparing Two Notions of Simulatability
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...
Dennis Hofheinz, Dominique Unruh
89
Voted
ESORICS
2009
Springer
16 years 1 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...