( en | de | ru )

 

Disambiguation of "Compagna, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios.

, , , and . DBSec, volume 9149 of Lecture Notes in Computer Science, page 85-100. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Diego Compagna

Luca Tuninetti

Luca Rizzini

Luca Tranchini

Alfonz Luca

 

Other publications of authors with the same name

Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation., , and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 30-45. Springer, (2005)Abstraction-Driven SAT-based Analysis of Security Protocols., and . SAT, volume 2919 of Lecture Notes in Computer Science, page 257-271. Springer, (2003)Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios., , , and . DBSec, volume 9149 of Lecture Notes in Computer Science, page 85-100. Springer, (2015)Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes., , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 567-572. Springer, (2016)Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps., , , , and . FMSE, page 1-10. ACM, (2008)WHIP: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate., , and . USENIX Security Symposium, page 6079-6096. USENIX Association, (2023)Business Process Compliance via Security Validation as a Service., , and . ICST, page 455-462. IEEE Computer Society, (2013)How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach., , , , and . ICAIL, page 149-153. ACM, (2007)Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning., and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 210-225. Springer, (2002)SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis., , and . FME, volume 2805 of Lecture Notes in Computer Science, page 875-893. Springer, (2003)