Concurrent usage control implementation verification using the SPIN model checker

DOI10.1007/978-3-642-14478-3_22MaRDI QIDQ3164601zbMATH OpenOpenAlexFDO

Authors P. V. Rajkumar, S. K. Ghosh, Pallab Dasgupta

Publication date 28 October 2010

Published in Recent Trends in Network Security and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14478-3_22

zbMATH Keywords

concurrencymodel checkingsoftware implementationusage control

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• scientific article; zbMATH DE number 1390251
• scientific article; zbMATH DE number 1796139
• scientific article; zbMATH DE number 1670554
• Formal verification of security model using SPR tool

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Concurrent usage control implementation verification using the SPIN model checker

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