Home > Authors > Vivek Nigam > Logic, Language, and Security

Buy at: Bookshop.org Amazon

Logic, Language, and Security

Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov

Recent activity

Rate this book to see your activity here.

2 Books Similar to Logic, Language, and Security by Vivek Nigam

Bookscovery readers who liked Logic, Language, and Security also like Composing Model-Based Analysis Tools, and Foundations of Security, Protocols, and Equational Reasoning. How many of these have you read?

Composing Model-Based Analysis Tools by Robert Heinrich

Cover of Composing Model-Based Analysis Tools

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Foundations of Security, Protocols, and Equational Reasoning by Joshua Guttman

Cover of Foundations of Security, Protocols, and Equational Reasoning

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Logic, Language, and Security

Please sign in to leave a comment