The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Publication status
publishedExternal links
Book title
Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory And Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : procJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Organisational unit
03634 - Basin, David / Basin, David
02660 - Institut für Informationssicherheit / Institute of Information Security
More
Show all metadata
ETH Bibliography
yes
Altmetrics