Information Flow Analysis in a Discrete-Time Process Algebra (2000)

Download From

IEEE
Download from IEEE

Download Links

by Riccardo Focardi , Roberto Gorrieri , Fabio Martinelli
Venue:Proc. of 13th CSFW, IEEE CS
Citations:34 - 6 self