Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rajiv Ranjan Singh

Calculating Quantitative Integrity and Secrecy for Imperative Programs

International Journal of Secure Software Engineering

English