3115 search results - page 17 / 623 » Synthesizing Secure Protocols |
IASTEDSEA
2004
13 years 10 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
In this paper, we propose a novel ID-based secure distance bounding protocol. Unlike traditional secure distance measurement protocols, our protocol is based on standard insecure d...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...