2162 search results - page 278 / 433 » A Meta-Notation for Protocol Analysis |
163
click to vote
COLCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
173
click to vote
ISCC
2007
IEEE
16 years 24 days ago
2007
IEEE
Terminal mobility may be handled at different layers. Though the MIPv6 protocol is the strongest candidate for handling mobility in next generation networks, mobility management f...
165
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
183
click to vote
ACNS
2007
Springer
16 years 22 days ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
140
click to vote
FC
2007
Springer
16 years 21 days ago
2007
Springer
This paper reports the highlights of a user study which gauges reactions to a variety of common “trust indicators” – such as logos, third party endorsements, and padlock icon...