A Classification of Security Properties for Process Algebras (1994)

Cached

Download Links

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