2947 search results - page 74 / 590 » The timely token protocol |
135
click to vote
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
139
click to vote
AFRICACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
131
click to vote
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
To better protect information systems, computation time data protection needs to be considered such that even when the system is partially compromised, the security of the system ...
146
click to vote
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
127
click to vote
SNPD
2004
15 years 5 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...