Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques

DOI10.1007/978-3-540-75414-5_16zbMath1148.68406OpenAlexW47794261MaRDI QIDQ3522871

Petros Stefaneas, Iakovos Ouranos

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)

Uses Software

• SPINS
• CafeOBJ

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