Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques

DOI10.1007/978-3-540-75414-5_16zbMATH Open1148.68406OpenAlexW47794261MaRDI QIDQ3522871FDOQ3522871

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

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

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)

Cited In (1)

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

Uses Software

• SPINS
• CafeOBJ

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)