The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties (1996)
by
Riccardo Focardi
,
Roberto Gorrieri
| Venue: | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Citations: | 70 - 17 self |
BibTeX
@ARTICLE{Focardi96thecompositional,
author = {Riccardo Focardi and Roberto Gorrieri},
title = {The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties},
journal = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
year = {1996},
volume = {23},
pages = {550--571}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
