Verification experiments on the MASCARA protocol

DOI10.1007/3-540-45139-0_8MaRDI QIDQ4531756zbMATH OpenFDO

Authors Guoping Jia, Susanne Graf

Publication date 23 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2057/20570123

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Verifying large SDL specifications using model checking
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• Verification of quantitative temporal properties of SDL specifications
• Model checking SDL with Spin
• Efficient verification of a multicast protocol for mobile computing

Cited in

(1)

• Verified Proofs of Higher-Order Masking

Describes a project that uses

Uses Software

• Kronos
• CESAR
• LOTOS

This page was built for publication: Verification experiments on the MASCARA protocol

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