198 search results - page 20 / 40 » Describing Secure Interfaces with Interface Automata |
CCS
2010
ACM
13 years 10 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
WWW
2002
ACM
14 years 10 months ago
2002
ACM
ing Application-Level Web Security David Scott Laboratory For Communications Engineering Engineering Department Trumpington Street Cambridge CB2 1PZ djs55@eng.cam.ac.uk Richard Sha...
SIGCSE
2008
ACM
13 years 9 months ago
2008
ACM
Early undergraduate Grid computing courses generally took a bottom-up approach to Grid computing education starting with network protocols, client-server concepts, creating Web an...
WICON
2008
13 years 11 months ago
2008
Cognitive Radio (CR) is seen as one of the enabling technologies for realizing a new spectrum access paradigm, viz. Opportunistic Spectrum Sharing (OSS). IEEE 802.22 is the world&...
HPDC
1997
IEEE
14 years 2 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...