Sciweavers

1342 search results - page 152 / 269
» Attacks are Protocols Too
Sort
View
ICPPW
2006
IEEE
16 years 14 days ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
NPC
2004
Springer
15 years 11 months ago
Atomic Commitment in Grid Database Systems
Atomic Commitment Protocol (ACP) is an important part for any distributed transaction. ACPs have been proposed for homogeneous and heterogeneous distributed database management sys...
Sushant Goel, Hema Sharda, David Taniar
ISORC
2002
IEEE
15 years 11 months ago
Approximate Real-Time Clocks for Scheduled Events
This paper presents a simple protocol that provides application processes with an approximate real-time notion. This time notion is very versatile. At one extreme, it behaves at l...
Christof Fetzer, Michel Raynal
ASIACRYPT
2009
Springer
16 years 1 months ago
Security Notions and Generic Constructions for Client Puzzles
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan...
ESORICS
2012
Springer
13 years 8 months ago
Dismantling iClass and iClass Elite
With more than 300 million cards sold, HID iClass is one of the most popular contactless smart cards on the market. It is widely used for access control, secure login and payment s...
Flavio D. Garcia, Gerhard de Koning Gans, Roel Ver...