The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties (1996)

Cached

Download Links

by Riccardo Focardi , Roberto Gorrieri
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:80 - 19 self