DMCA

Process Algebra and Non-interference (1999)

by P Y A Ryan, et al.
Venue:JOURNAL OF COMPUTER SECURITY
Citations:96 - 1 self