Instrumenting microservices for concurrent audit logging: Beyond Horn clauses
Document Type
Conference Proceeding
Department
Electrical and Computer Engineering
Conference Title
16th IEEE International Workshop on Security, Trust & Privacy for Software Applications (STPSA 2022), as part of the 46th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2022)
Date of Presentation
Summer 1-1-2022
Recommended Citation
Amir-Mohammadian, S.
(2022).
Instrumenting microservices for concurrent audit logging: Beyond Horn clauses.
Paper presented at 16th IEEE International Workshop on Security, Trust & Privacy for Software Applications (STPSA 2022), as part of the 46th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2022).
https://scholarlycommons.pacific.edu/soecs-facpres/487
