Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Teaching
Open Positions
Internships/Assistants/Theses
Wihem Arsac
Latest
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Security Validation of Business Processes via Model-Checking
Cite
×