Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques

DOI10.1007/978-3-540-75414-5_16MaRDI QIDQ3522871zbMATH OpenOpenAlexFDO

Authors Iakovos Ouranos, Petros Stefaneas

Publication date 4 September 2008

Published in Algebraic Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75414-5_16

zbMATH Keywords

sensor networksCafeOBJobservational transition systemsalgebraic specification and verificationSPINS protocol suite

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Abstract data types; algebraic specification (68Q65)

Recommendations

• Development of communication protocols using algebraic and temporal specifications.
• Security protocol verification: symbolic and computational models
• A coordination-based methodology for security protocol verification
• Comparative analysis of formal model checking tools for security protocol verification
• scientific article; zbMATH DE number 2087629

Cited in

(1)

• Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario

Describes a project that uses

Uses Software

• CafeOBJ
• SPINS

This page was built for publication: Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques

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