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
Relations between secrets: two formal analyses of the Yahalom protocol
Journal of Computer Security , Vol. 9, Iss. 3, 2001-01 , pp.Global infrastructure protection system
By De Capitani di Vimercati S. in (2001)
Journal of Computer Security , Vol. 9, Iss. 4, 2001-01 , pp.Certificate chain discovery in SPKI/SDSI
Journal of Computer Security , Vol. 9, Iss. 4, 2001-01 , pp.Depender graphs: A method of fault-tolerant certificate distribution
Journal of Computer Security , Vol. 9, Iss. 4, 2001-01 , pp.Multilevel secure transaction processing
Journal of Computer Security , Vol. 9, Iss. 3, 2001-01 , pp.Model checking security properties of control flow graphs
Journal of Computer Security , Vol. 9, Iss. 3, 2001-01 , pp.A logic for SDSI's linked local name spaces
Journal of Computer Security , Vol. 9, Iss. 1-2, 2001-01 , pp.Athena: a novel approach to efficient automatic security protocol analysis
Journal of Computer Security , Vol. 9, Iss. 1-2, 2001-01 , pp.A cost-based framework for analysis of denial of service in networks
Journal of Computer Security , Vol. 9, Iss. 1-2, 2001-01 , pp.