Enforcing traceability in software [chapter]

Colin Boyd
1997 Lecture Notes in Computer Science  
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly the aims of traceable communications protocols are reviewed and compared with the available mechanisms to ensure compliance. These are compared with the methods used to ensure compliance in escrow schemes, the context in which traceability has usually arisen. Secondly a new communications architecture is proposed which
more » ... provides traceability robustly, while preserving user control over other security services.
doi:10.1007/bfb0028495 fatcat:ocx4qbwtibfglmatbjylwizj5q