The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures

Thumbnail
Metadata only
Author
Armando, Alessandro
Arsac, Wihem
Avanesov, Tigran
Barletta, Michele
Calvi, Alberto
Cappai, Alessandro
Carbone, Roberto
Chevalier, Yannick
Compagna, Luca
Cuéllar, Jorge
Erzse, Gabriel
Frau, Simone
Minea, Marius
Mödersheim, Sebastian
von Oheimb, David
Pellegrino, Giancarlo
Ponta, Serena E.
Rocchetto, Marco
Rusinowitch, Michael
Dashti, Mohammad T.
Turuani, Mathieu
Viganò, Luca
Show all
Date
2012
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Flanagan, Cormac
König, Barbara
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 : proc
Journal / series
Lecture Notes in Computer Science
Volume
7214
Pages / Article No.
267 - 282
Publisher
Springer
Event
18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn, Estonia, March 24 - April 1, 2012
Organisational unit
03634 - Basin, David  
02660 - Institut für Informationssicherheit
More
Show all metadata
Citations
Cited 44 times in Scopus
ETH Bibliography
yes
Altmetrics