Better Logging Through Formality -- Applying Formal Specification Techniques to Improve Audit Logs and Log Consumers (2000)

by Chapman Flack , Mikhail J. Atallah
Citations:4 - 0 self