Noninterference for Concurrent Programs.

Gérard Boudol Ilaria Castellani

Published in: ICALP (2001)

Keyphrases

concurrent programs
security policies
concurrent programming
process algebra
concurrent processes
web applications
real time
machine learning
artificial intelligence
data model
formal specification
building blocks