Secure audit logs to support computer forensics
ACM Transactions on Information and System Security (TISSEC)
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Two Views on Security Software Liability: Let the Legal System Decide
IEEE Security and Privacy
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Principles-driven forensic analysis
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Artificial Intelligence and Law
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Security benchmarks of OSGi platforms: toward Hardened OSGi
Software—Practice & Experience
A formal language for electronic contracts
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A temporal logic-based model for forensic investigation in networked system security
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
IEEE Security and Privacy
Analyzing multiple logs for forensic evidence
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties
Communications of the ACM
A formal framework for specifying and analyzing logs as electronic evidence
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
kb-anonymity: a model for anonymized behaviour-preserving test and debugging data
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Formal methods as a link between software code and legal rules
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Hi-index | 0.02 |
LISE is a multidisciplinary project involving lawyers and computer scientists with the aim to put forward a set of methods and tools to (1) define software liability in a precise and unambiguous way and (2) establish such liability in case of incident. This paper provides an overview of the overall approach taken in the project based on a case study. The case study illustrates a situation where, in order to reduce legal uncertainties, the parties to a contract wish to include in the agreement specific clauses to define as precisely as possible the share of liabilities between them for the main types of failures of the system.