Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Chris Novakovic

Calculating Quantitative Integrity and Secrecy for Imperative Programs

International Journal of Secure Software Engineering

English