2162 search results - page 15 / 433 » A Meta-Notation for Protocol Analysis |
TPDS
2010
13 years 5 months ago
2010
Abstract—In the past few years, P2P file distribution applications (e.g., BitTorrent) are becoming so popular that they are the dominating source of Internet traffic. This crea...
JCS
2010
13 years 2 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Supply chain formation is the process of determining the structure and terms of exchange relationships to enable a multilevel, multiagent production activity. We present a simple ...
INFORMATICALT
2010
13 years 4 months ago
2010
Abstract. In 2008, based on the two-party Diffie
COMCOM
2000
13 years 7 months ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...