Search For:

Displaying 1-2 out of 2 total
Linear and Branching System Metrics
Found in: IEEE Transactions on Software Engineering
By L. de Alfaro,M. Faella,M. Stoelinga
Issue Date:March 2009
pp. 1-1
We extend the classical system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted not as boolean values, but as elements of arbitrary metric spaces. Trace inclusion ...
An Integrated Formal Approach to Usage Control
Found in: 2013 IEEE CS Security and Privacy Workshops (SPW2013)
By P. A. Bonatti,L. Sauro,M. Faella,C. Galdi
Issue Date:May 2013
pp. 8-12
Usage control enforcement is currently voluntary, due to a number of technical difficulties that cannot be addressed by means of purely cryptographic techniques. So, it is commonly argued that purely technical measures should be complemented by surveillanc...