A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Publication status
publishedBook 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 SoftwareJournal / series
Books@ocg.atVolume
Pages / Article No.
Publisher
Oesterreichische Computer GesellschaftEvent
Organisational unit
03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics