3115 search results - page 277 / 623 » Synthesizing Secure Protocols |
167
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
237
click to vote
Publication
Distance bounding protocols are an effective countermeasure against relay attacks including distance fraud, mafia fraud and terrorist fraud attacks. Reid et al. proposed the first ...
170
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
159
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
182
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
The trend of data intensive grid applications has brought grid storage protocols and servers into focus. The objective of this study is to gain an understanding of how time is spen...