A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

Thumbnail
Metadata only
Author
Chevalier, Yannick
Compagna, Luca
Cuellar, Jorge
Hankes Drielsma, Paul
Mantovani, Jacopo
Mödersheim, Sebastian
Vigneron, Laurent
Show all
Date
2004
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
Automated software engineering : Proceedings of the Workshops on Cooperative Support for Distributed Software Engineering Processes (CSSE’04), Specification and Automated Processing of Security Requirements (SAPS’04), Intelligent Technologies for Software
Journal / series
Books@ocg.at
Volume
180
Pages / Article No.
193 - 205
Publisher
Oesterreichische Computer Gesellschaft
Event
Workshop on Specification and Automated Processing of Security Requirements (SAPS 2004), Linz, Austria, September 20-24, 2004
Organisational unit
03634 - Basin, David / Basin, David  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics