10 citations · 39 across the 23 of their papers we have counts for
3 papers · 1 filter
A Formal Approach to Cyber-Physical Attacks
Ruggero Lanotte, Massimo Merro, Riccardo Muradore +1
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on %a formal treatment of b…
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)
Federico De Meo, Marco Rocchetto, Luca Viganò
We present a formal approach that exploits attacks related to SQL Injection (SQLi) searching for security flaws in a web application. We give a formal representation of web applica…
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version)
Carlo Combi, Luca Viganó, Matteo Zavatteri
Workflows and role-based access control models need to be suitably merged, in order to allow users to perform processes in a correct way, according to the given data access policie…