894 search results - page 74 / 179 » Secure Implementation of Channel Abstractions |
HPCN
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. A metacomputing environment is a collection of geographically distributed resources (people, computers, devices, databases) connected by one or more high-speed networks, ...
ICICS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
ICWE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...
ECOOP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...