Correct Audit Logging in Concurrent Systems.

Sepehr Amir-Mohammadian Chadi Kari

Published in: LSFA (2020)

Keyphrases

concurrent systems
temporal logic
process algebra
distributed systems
transition systems
model checking
petri net
formal specification
intrusion detection
real world
information retrieval
website
relational databases
data mining techniques