Period of time： 2007年2-3期
Publisher： Springer Publishing Company
Founded in： 2001
Total resources： 13
ISSN： 1615-5262
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal of Information Security (IJIS),volume 6,issue 2-3
Menu
By Dimitrakos Theo,Martinelli Fabio,Ryan Peter,Schneider Steve in (2007)
International Journal of Information Security (IJIS),volume 6,issue 2-3 , Vol. 6, Iss. 2-3, 2007-03 , pp.
Access to resources
Recommend
Dynamic security labels and static information flow control
By Zheng Lantian,Myers Andrew in (2007)
International Journal of Information Security (IJIS),volume 6,issue 2-3 , Vol. 6, Iss. 2-3, 2007-03 , pp.Instruction-level security typing by abstract interpretation
By Francesco Nicoletta,Martini Luca in (2007)
International Journal of Information Security (IJIS),volume 6,issue 2-3 , Vol. 6, Iss. 2-3, 2007-03 , pp.Transformational typing and unification for automatically correcting insecure programs
By Köpf Boris,Mantel Heiko in (2007)
International Journal of Information Security (IJIS),volume 6,issue 2-3 , Vol. 6, Iss. 2-3, 2007-03 , pp.Audit-based compliance control
By Cederquist J.,Corin R.,Dekker M.,Etalle S.,Hartog J.,Lenzini G. in (2007)
International Journal of Information Security (IJIS),volume 6,issue 2-3 , Vol. 6, Iss. 2-3, 2007-03 , pp.Trust structures: Denotational and operational semantics
By Krukow Karl,Nielsen Mogens in (2007)
International Journal of Information Security (IJIS),volume 6,issue 2-3 , Vol. 6, Iss. 2-3, 2007-03 , pp.An algebraic approach to the verification of a class of Diffie-Hellman protocols
By Delicata Rob,Schneider Steve in (2007)
International Journal of Information Security (IJIS),volume 6,issue 2-3 , Vol. 6, Iss. 2-3, 2007-03 , pp.