Correct audit logging in concurrent systems

DOI10.1016/J.ENTCS.2020.08.007MaRDI QIDQ2229154zbMATH OpenOpenAlexWikidataFDO

Authors Sepehr Amir-Mohammadian, Chadi Kari

Publication date 22 February 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2020.08.007

zbMATH Keywords

programming languagessecurityconcurrent systemsaudit logging

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1945067 (Why is no real title available?)
• A formal framework for specifying and verifying microservices based process flows
• An introduction to the \(\pi\)-calculus.
• Communicating sequential processes
• Correct audit logging in concurrent systems
• Explicit auditing
• Justification Logic
• Justification logic and audited computation
• Strongly normalizing audited computation

Cited in

(1)

• Correct audit logging in concurrent systems

Describes a project that uses

Uses Software

• ACCESSPROV
• Conductor
• PQL

This page was built for publication: Correct audit logging in concurrent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229154)