scientific article; zbMATH DE number 5714261

MaRDI QIDQ3563385zbMATH OpenFDO

Authors

Publication date 31 May 2010

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2020421
• Probabilistic relational Hoare logics for computer-aided security proofs
• scientific article; zbMATH DE number 5210219
• scientific article; zbMATH DE number 5179800
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday.
• scientific article; zbMATH DE number 1081827
• scientific article; zbMATH DE number 1049165
• Dependence Logic

This page was built for publication:

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