3 search results - page 1 / 1 » A First-Order Policy Language for History-Based Transaction ... |
ICTAC
2009
Springer
13 years 8 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
ICICS
2001
Springer
14 years 3 months ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...