Journal of Computer Security logo

Publisher: IOS Press

Related content
Volume 9, Numbers 1-2, 2001

all issues | next issue >

Favourites:Add to Favourites
Favourites:Add to Favourites

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

Favourites:Add to Favourites

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

Favourites:Add to Favourites

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

Favourites:Add to Favourites

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
Cookie Policy
ingentaconnect 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