8 citations · 54 across the 14 of their papers we have counts for
14 papers
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne +1
This paper revisits the Brewer-Nash security policy model inspired by ethical Chinese Wall policies. We draw attention to the fact that write access can be revoked in the Brewer-Na…
A Logical Account of Subtyping for Session Types
Ross Horne, Luca Padovani
We study the notion of subtyping for session types in a logical setting, where session types are propositions of multiplicative/additive linear logic extended with least and greate…
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied -Calculus
Clément Aubert, Ross Horne, Christian Johansen
This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events,…
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Rob van Glabbeek, Peter Höfner, Ross Horne
We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session cal…
Trust and Safety
S. K. Devitt, R. Horne, Z. Assaad +15
Robotics in Australia have a long history of conforming with safety standards and risk managed practices. This chapter articulates the current state of trust and safety in robotics…
An Analytic Propositional Proof System on Graphs
Matteo Acclavio, Ross Horne, Lutz Straßburger
In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-co…