Rule-based programming in Java for protocol verification

MaRDI QIDQ2849866zbMATH OpenFDO

Authors Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053010

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 5499373
• Java bytecode verification: Algorithms and formalizations
• Formal verification of a Java component using the RESOLVE framework
• Model Checking Software
• scientific article; zbMATH DE number 2087852
• scientific article; zbMATH DE number 1955931
• Verification of Java programs with interacting analysis plugins

Cited in

(1)

• Formally sound implementations of security protocols with JavaSPI

This page was built for publication: Rule-based programming in Java for protocol verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849866)