Formal End-to-End Verification of Information-Flow Security for Complex Systems Subtitle
By : Samiksha Chakraborty
Book Info