Related content

Development of A Formal Security Model for Electronic Voting Systems

By  

International Journal of Information Security and Privacy (IJISP), Vol. 7, Iss. 2, 2013-04 ,pp. : 1-28

IGI Global_journal

Access to resources Recommend Favorite

Behavior-based model construction

By Hungar Hardi   Steffen Bernhard  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 4-14

Springer Publishing Company

Access to resources Recommend Favorite

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E.   Gü A. Burak     Ç M. Ufuk      

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 1, 2012-02 ,pp. : 12-24

Inderscience Publishers

Access to resources Recommend Favorite

Security analysis and improvement of two verifiable multi-secret sharing schemes

By Yu Jia   Hao Rong   Cheng Xiangguo  

International Journal of Security and Networks, Vol. 8, Iss. 4, 2013-12 ,pp. : 200-206

Inderscience Publishers

Access to resources Recommend Favorite

A Formal Model for SDL Specifications Based on Timed Rewriting Logic

By Steggles L.J.  

Automated Software Engineering, Vol. 7, Iss. 1, 2000-03 ,pp. : 61-90

Springer Publishing Company

Access to resources Recommend Favorite