Cryptographic Security of Reactive Systems - (Extended Abstract)

By Pfitzmann B.   Schunter M.   Waidner M.  

Electronic Notes in Theoretical Computer Science, Vol. 32, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Deductive verification of cryptographic software

By Almeida José  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 203-218

Springer Publishing Company

Access to resources Recommend Favorite

A Cryptographic Scavenger Hunt

By Holdener Judy   Holdener Eric  

Cryptologia, Vol. 31, Iss. 4, 2007-10 ,pp. : 316-323

Taylor & Francis Ltd

Access to resources Recommend Favorite

Designing and aligning e-Science security culture with design

By Faily Shamal   Fléchais Ivan  

Information Management & Computer Security, Vol. 18, Iss. 5, 2010-11 ,pp. : 339-349

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A hybrid architecture design for security monitoring via the Internet

By Fong A.C.M.   Hui S.C.  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 32, Iss. 9-10, 2003-10 ,pp. : 1297-1312

Emerald Group Publishing Ltd

Access to resources Recommend Favorite