Computer security -- ESORICS 94. 3rd European symposium on research in computer security, Brighton, GB, November 7--9, 1994. Proceedings (Q1339728)

The articles of mathematical interest will be reviewed individually. For the preceding symposium see [Zbl 1457.68010]. Indexed articles: \textit{Beth, Thomas; Borcherding, Malte; Klein, Birgit}, Valuation of trust in open networks, 1-18 [Zbl 1477.68049] \textit{Roscoe, A. W.; Woodcock, J. C. P.; Wulf, L.}, Non-interference through determinism, 31-53 [Zbl 1477.68063] \textit{Banâtre, Jean-Pierre; Bryce, Ciarán; Le Métayer, Daniel}, Compile-time detection of information flow in sequential programs, 55-73 [Zbl 1477.68074] \textit{Boyd, Colin; Mao, Wenbo}, Designing secure key exchange protocols, 91-105 [Zbl 1481.94087] \textit{Jiwa, Azad; Seberry, Jennifer; Zheng, Yuliang}, Beacon based authentication, 123-141 [Zbl 1477.68056] \textit{Chen, Lidong}, Oblivious signatures, 161-172 [Zbl 1481.94136] \textit{Maurer, Ueli M.; Schmid, Pierre E.}, A calculus for secure channel establishment in open networks, 173-192 [Zbl 1481.94116] \textit{Mao, Wenbo; Boyd, Colin}, On strengthening authentication protocols to foil cryptanalysis, 193-204 [Zbl 1481.94145] \textit{d'Ausbourg, Bruno}, Implementing secure dependencies over a network by designing a distributed security subsystem, 247-266 [Zbl 1477.68052]