Sciweavers

5374 search results - page 83 / 1075
» The induction of communication protocols
Sort
View
IFIP
2009
Springer
16 years 27 days ago
Specifying and Modelling Secure Channels in Strand Spaces
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
Allaa Kamil, Gavin Lowe
PKC
2010
Springer
119views Cryptology» more  PKC 2010»
15 years 8 months ago
Efficient Set Operations in the Presence of Malicious Adversaries
We revisit the problem of constructing efficient secure two-party protocols for the problems of setintersection and set-union, focusing on the model of malicious parties. Our main...
Carmit Hazay, Kobbi Nissim
INFOCOM
1998
IEEE
15 years 10 months ago
Implementing Protocols in Java: The Price of Portability
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
Bobby Krupczak, Mostafa H. Ammar, Kenneth L. Calve...
DISCEX
2003
IEEE
15 years 11 months ago
MuCAPSL
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
Jonathan K. Millen, Grit Denker
CIIT
2004
15 years 7 months ago
Efficiency considerations between common web applications using the soap protocol
Applications can communicate over the WEB using a variety to tools and techniques. Both Java and PERL are common languages used in WEB communication. A Simple Object Access Protoc...
Roger Eggen, Sanjay P. Ahuja, Paul Elliott, Mauric...