Correct Audit Logging in Concurrent Systems

Autor: Amir-Mohammadian, Sepehr, Kari, Chadi
Zdroj: In Electronic Notes in Theoretical Computer Science 15 September 2020 351:115-141
Databáze: ScienceDirect