Information Technology Reference
In-Depth Information
6.1 Related Works
A large amount of work has been dedicated to the formal specification of con-
tracts, among them [13, 9, 8]. Such specifications are useful but they still lack
in specific issues of legal evidences and can be considered as a complementary
approach to our framework.
Works in the domain of forensics [19, 20, 22, 26] and audit [24, 7, 27] make
general references to analysis of digital information in a legal setting. However,
in general these contributions seem to be targeted towards security issues and
attack detection rather than define liability for possible claims that may rise.
The contributions presented in this paper differs from other works such as
[25] and [7]. In these works the authors make reference to liability using logs but
they are more focused in the aspects of monitorability of events and how the logs
should be produced. The management of log distributions related with liability
is an important related topic which has been covered by our prior work [16],
where we characterized the acceptability of a given distribution with respect to
a trust relationship and the neutrality of agents to log some given events.
6.2 Future Work
In this paper, we assumed that logs will not contain inconsistencies or incorrect
values. As commented before, this hypothesis is justified by the use of other
means, for instance digital signatures, that will assure characteristics such as
integrity and non-repudiation for the logs. Another possibility, to verify log in-
tegrity, is the use of redundancy in a log architecture, when the events concerning
one agent is recorded several times. However, situations where this hypothesis is
not assumed has been considered in our previous works [16].
In the future we will extend our framework to take into account parameterized
claims and properties (for instance to extend our case study with several clients
and hotels). Future work also includes the integration of our work presented in
[16] in this general framework.
Acknowledgement
This contribution is part of the LISE project (ANR-07-SESU-007) funded by
ANR.
References
[1] Abrial, J.: The B-Book. Cambridge University Press, Cambridge (1996)
[2] Badeau, F., Amelot, A.: Using B as a High Level Programming Language in
an Industrial Project: Roissy VAL. In: Treharne, H., King, S., Henson, M.C.,
Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 334-354. Springer, Heidelberg
(2005)
[3] Barringer, H., Groce, A., Havelund, K., Smith, M.H.: An Entry Point for Formal
Methods: Specification and Analysis of Event Logs. CoRR abs/1003.1682 (2010)
Search WWH ::
Custom Search