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.
Access to resources
Recommend
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.
Previous
Next