5 citations · 13 across the 7 of their papers we have counts for
3 papers · 1 filter
An Automatically Verified Prototype of the Tokeneer ID Station Specification
Maximiliano Cristiá, Gianfranco Rossi
The Tokeneer project was an initiative set forth by the National Security Agency (NSA, USA) to be used as a demonstration that developing highly secure systems can be made by apply…
Declarative Programming with Intensional Sets in Java Using JSetL
Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
Intensional sets are sets given by a property rather than by enumerating their elements. In previous work, we have proposed a decision procedure for a first-order logic language wh…
Automated Proof of Bell-LaPadula Security Properties
Maximiliano Cristia, Gianfranco Rossi
Almost fifty years ago, D.E. Bell and L. LaPadula published the first formal model of a secure system, known today as the Bell-LaPadula (BLP) model. BLP is described as a state mac…