A Classification of Security Properties for Process Algebras (1994)

Cached

Download Links

by Riccardo Focardi , Roberto Gorrieri
Venue:JOURNAL OF COMPUTER SECURITY
Citations:126 - 17 self