Search Results for author: Vinh Thong Ta

Found 1 papers, 1 papers with code

DataProVe: A Data Protection Policy and System Architecture Verification Tool

1 code implementation20 Aug 2020 Vinh Thong Ta

The syntax of the policies and the architectures is based on semi-formal languages, and the automated verification engine relies on logic and resolution based proofs.

Cryptography and Security Logic in Computer Science Software Engineering

Cannot find the paper you are looking for? You can Submit a new open access paper.