• Towards Fully Automatic Logic-...

*Result*: Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.

Title:
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
Authors:
Do, Quoc Huy, Kamburjan, Eduard, Wasser, Nathan
Source:
Principles of Security & Trust (9783662496343); 2016, p97-115, 19p
Database:
Complementary Index