|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò |
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. |
SACMAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta |
Security Validation of Business Processes via Model-Checking. |
ESSoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò |
Towards Formal Validation of Trust and Security in the Internet of Services. |
Future Internet Assembly |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta |
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. |
TrustBus |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Serena Elisa Ponta |
Model Checking of Security-Sensitive Business Processes. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")