A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.

Sandip Ghosal R. K. Shyamasundar

Published in: APSEC (2020)

Keyphrases

concurrent programs
process algebra
concurrent programming
database
access control
intrusion detection
security policies
communication protocols
artificial intelligence
software systems
model checking
formal methods
concurrent processes