The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.
Alessandro ArmandoWihem ArsacTigran AvanesovMichele BarlettaAlberto CalviAlessandro CappaiRoberto CarboneYannick ChevalierLuca CompagnaJorge CuéllarGabriel ErzseSimone FrauMarius MineaSebastian MödersheimDavid von OheimbGiancarlo PellegrinoSerena Elisa PontaMarco RocchettoMichaël RusinowitchMohammad Torabi DashtiMathieu TuruaniLuca ViganòPublished in: TACAS (2012)
Keyphrases
- service oriented architecture
- industrial automation
- service oriented
- digital campus
- web services
- loosely coupled
- security services
- trust management
- business process
- trust relationships
- model driven
- trusted computing
- information security
- trust model
- access control
- service discovery
- service oriented computing
- business processes
- human operators
- security issues
- semantic web services
- privacy concerns
- loose coupling
- data exchange
- trust negotiation
- security policies
- public key infrastructure
- service composition
- lightweight
- business logic
- distributed systems
- security mechanisms
- security protocols
- model driven development
- information systems
- management system
- platform independent
- puts forward
- mobile applications
- computing environments