Project Summary
This project is represents the code associated with research being conducted by James Percent and Dan Doughtery on the application of decidable fragments of First-Order Temporal Logic to the Specification and Verification of Privacy Policies.
In a Nutshell, Thesis...
Quick Reference
:pserver:anonymous:@percentthesi...
Project Security
Vulnerabilities per Version ( last 10 releases )
There are no reported vulnerabilities
Project Vulnerability Report
Security Confidence Index
Poor security track-record
Favorable security track-record
Vulnerability Exposure Index
Many reported vulnerabilities
Few reported vulnerabilities
Did You Know...
-
...
in 2016, 47% of companies did not have formal process in place to track OS code
-
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
-
...
use of OSS increased in 65% of companies in 2016
-
...
check out hot projects on the Open Hub