Skip to main content

Publisher: IOS Press

Volume 9, Numbers 1-2, 1 January 2001

Favourites:
ADD

Athena: a novel approach to efficient automatic security protocol analysis
pp. 47-74(28)
Authors: Song, D.X.; Berezin, S.; Perrig, A.

Favourites:
ADD

Process algebra and non-interference
pp. 75-103(29)
Authors: Ryan, P.Y.A.; Schneider, S.A.

Favourites:
ADD

A logic for SDSI's linked local name spaces
pp. 105-142(38)
Authors: Halpern, J.Y.; van der Meyden, R.

Favourites:
ADD
Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more