A Classification of Security Properties for Process Algebras (1994)

Cached

Download Links

by Riccardo Focardi , Roberto Gorrieri
Venue:JOURNAL OF COMPUTER SECURITY
Citations:105 - 16 self