![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Publisher: Ios Press
Founded in: 1992
Total resources: 3
E-ISSN: 1875-8924
ISSN: 0926-227X
Subject: TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Computer Security
Menu
![](/images/ico/ico5.png)
Relations between secrets: two formal analyses of the Yahalom protocol
Journal of Computer Security , Vol. 9, Iss. 3, 2001-01 , pp.![](/images/ico/ico5.png)
Global infrastructure protection system
By De Capitani di Vimercati S. in (2001)
Journal of Computer Security , Vol. 9, Iss. 4, 2001-01 , pp.![](/images/ico/ico5.png)
Certificate chain discovery in SPKI/SDSI
Journal of Computer Security , Vol. 9, Iss. 4, 2001-01 , pp.![](/images/ico/ico5.png)
Depender graphs: A method of fault-tolerant certificate distribution
Journal of Computer Security , Vol. 9, Iss. 4, 2001-01 , pp.![](/images/ico/ico5.png)
Multilevel secure transaction processing
Journal of Computer Security , Vol. 9, Iss. 3, 2001-01 , pp.![](/images/ico/ico5.png)
Model checking security properties of control flow graphs
Journal of Computer Security , Vol. 9, Iss. 3, 2001-01 , pp.![](/images/ico/ico5.png)
A logic for SDSI's linked local name spaces
Journal of Computer Security , Vol. 9, Iss. 1-2, 2001-01 , pp.![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
Athena: a novel approach to efficient automatic security protocol analysis
Journal of Computer Security , Vol. 9, Iss. 1-2, 2001-01 , pp.![](/images/ico/ico5.png)
A cost-based framework for analysis of denial of service in networks
Journal of Computer Security , Vol. 9, Iss. 1-2, 2001-01 , pp.