Process Algebra and Non-Interference
Journal of Computer Security - Netherlands
doi 10.3233/jcs-2001-91-204
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2001
Authors
Publisher
IOS Press
Available in full text
January 1, 2001
IOS Press