scientific article; zbMATH DE number 1962760

zbMATH Open1033.68567MaRDI QIDQ4418591FDOQ4418591

Authors: Koji Hasebe, Mitsuhiro Okada 

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2609/26090417.htm

Title of this publication is not available (Why is that?)

Recommendations

• Security protocols: from linear to classical logic by abstract interpretation
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• Publication:4934730
• scientific article; zbMATH DE number 1538052
• Completeness and counter-example generations of a basic protocol logic (extended abstract)

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (1)

• Security protocols: from linear to classical logic by abstract interpretation

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 Q4418591)