Workshop on secure architectures and information flow. Royal Holloway, Univ. of London, GB, December 1--3, 1999 (Q1574970)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Focardi, R.; Gorrieri, R.; Martinelli, F.}, Secrecy in security protocols as non interference, 12 p., electronic only [Zbl 0966.68008] \textit{Bieber, P.; Cazin, J.; Wiels, V.; Zanon, G.; Girard, P.; Lanet, J.-L.}, Electronic purse applet certification. (Extended abstract), 12 p., electronic only [Zbl 0959.68506] \textit{Lang, Ulrich; Schreiner, Rudolf}, Flexibility and interoperability in CORBA security, 13 p., electronic only [Zbl 0966.68013] \textit{Lotz, Volkmar}, Formally defining security properties with relations on streams, 16 p., electronic only [Zbl 0966.68066] \textit{Gollmann, Dieter}, On the verification of cryptographic protocols -- a tale of two committees, 17 p., electronic only [Zbl 0966.68067] \textit{Pfitzmann, Birgit; Schunter, Matthias; Waidner, Michael}, Cryptographic security of reactive systems. (Extended abstract), 19 p., electronic only [Zbl 0966.68065] \textit{Gardiner, Paul}, Power simulation and its relation to traces and failures refinement, 23 p., electronic only [Zbl 0966.68109]