Period of time： 2004年1期
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 3,issue 1
Menu
Access to resources
Recommend
Analysing a stream authentication protocol using model checking
By Hopcroft Philippa,Lowe Gavin in (2004)
International Journal of Information Security (IJIS),volume 3,issue 1 , Vol. 3, Iss. 1, 2004-10 , pp.Controlled query evaluation for enforcing confidentiality in complete information systems
By Biskup Joachim,Bonatti Piero in (2004)
International Journal of Information Security (IJIS),volume 3,issue 1 , Vol. 3, Iss. 1, 2004-10 , pp.Outbound authentication for programmable secure coprocessors
International Journal of Information Security (IJIS),volume 3,issue 1 , Vol. 3, Iss. 1, 2004-10 , pp.Computational probabilistic noninterference
By Backes Michael,Pfitzmann Birgit in (2004)
International Journal of Information Security (IJIS),volume 3,issue 1 , Vol. 3, Iss. 1, 2004-10 , pp.