10 citations · 39 across the 23 of their papers we have counts for
6 papers · 1 filter
Time-Stamped Claim Logic
João Rasga, Cristina Sernadas, Erisa Karafili +1
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per…
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu +1
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devi…
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)
Michele Barletta, Silvio Ranise, Luca Viganò
The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security chal…
A History of Until
Andrea Masini, Luca Viganò, Marco Volpe
Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w o…
Labeled Natural Deduction Systems for a Family of Tense Logics
Luca Viganò, Marco Volpe
We give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to t…
A Qualitative Modal Representation of Quantum Register Transformations
Andrea Masini, Luca Viganò, Margherita Zorzi
We introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum regi…