Deductive verification of cryptographic software

ISSN： 1614-5046

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On the Verification of Cryptographic Protocols - A Tale of Two Committees

By Gollmann D.

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

Elsevier

Access to resources Recommend Favorite

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

By Meseguer José

LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. : 123-160

Springer Publishing Company

Access to resources Recommend Favorite

Deductive verification of real-time systems using STeP

By Bjorner N.S. Manna Z. Sipma H.B. Uribe T.E.

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 27-60

Elsevier

Access to resources Recommend Favorite

Efficient Energy Saving Cryptographic Techniques with Software Solution in Wireless Network

International Journal of Synthetic Emotions (IJSE), Vol. 7, Iss. 2, 2016-07 ,pp. : 78-96

IGI Global_journal

Access to resources Recommend Favorite

Formal software development in the Verification Support Environment (VSE)

By Hutter Dieter Langenstein Bruno Rock Georg Siekmann Jörg H. Stephan Werner Vogt Roland

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 383-406

Taylor & Francis Ltd

Access to resources Recommend Favorite