Liability in software engineering: overview of the LISE approach and illustration on a case study
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
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
| Hi-index | 0.02 |
Accountability could play a much bigger role in getting software producers to implement systems that are more secure and as an alternative to prevention for defending against attacks. Accountability, however, requires attribution of action. Current system development processes are weak here, as are our system designs. In both settings, forensics is key for supporting accountability.