1490 search results - page 173 / 298 » The Logic of Authentication Protocols |
FOCS
2000
IEEE
15 years 5 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
110
click to vote
ACIIDS
2009
IEEE
15 years 4 months ago
2009
IEEE
Inter domain service routing is an element in the success of Next Generation Network. Service requests, such as the INVITE request in Session Initiation Protocol [21] may need to ...
108
click to vote
FCCM
2004
IEEE
15 years 4 months ago
2004
IEEE
A circuit and an associated lightweight protocol have been developed to secure communication between a control console and remote programmable network devices1 . The circuit provi...
103
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
— Asymmetric links are common in wireless networks for a variety of physical, logical, operational, and legal considerations. An asymmetric link supports uni-directional communic...
113
Voted
ICCAD
1994
IEEE
15 years 4 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 ...