scientific article

zbMath1272.94087MaRDI QIDQ2851055

Kazuhiro Ogata, Kokichi Futatsugi

Publication date: 2 October 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• CafeOBJ
• Kumo
• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An attack on the Needham-Schroeder public-key authentication protocol
• Refutational theorem proving using term-rewriting systems
• A hidden agenda
• On the security of public key protocols
• Using encryption for authentication in large networks of computers
• Web-based support for cooperative software engineering

This page was built for publication: