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

Thumbnail
Metadata only
Author
Armando, Alessandro
et al.
Frau, Simone
Dashti, Mohammad Torabi
Show all
Date
2012
Type
  • Conference Paper
Publication status
published
External links
Full text 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
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
Notes
.
More
Show all metadata
Altmetrics