DMCA

Enforcing security and safety models with an information flow analysis tool

Cached

Download Links

by Roderick Chapman , Adrian Hilton
Venue:ACM SIGAda Ada Letters
Citations:31 - 1 self