Constructing Security Protocol Specifications for Web Services

DOI10.1007/978-3-540-85257-5_25zbMath1171.68350OpenAlexW1812261935MaRDI QIDQ3613476

Genge Bela, Ovidiu Ratoi, Haller Piroska

Publication date: 12 March 2009

Published in: Studies in Computational Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

formal specification model

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Cites Work

• Protocol Composition Logic (PCL)
• Knowledge engineering: Principles and methods

This page was built for publication: Constructing Security Protocol Specifications for Web Services