Correct Audit Logging in Concurrent Systems
Document Type
Conference Proceeding
Department
Electrical and Computer Engineering
Conference Title
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2019
Date of Presentation
Fall 1-1-2020
Recommended Citation
El Kari, C.,
&
Amir-Mohammadian, S.
(2020).
Correct Audit Logging in Concurrent Systems.
Paper presented at Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2019.
https://scholarlycommons.pacific.edu/soecs-facpres/576
