A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.
Torben AmtoftJosiah DoddsZhi ZhangAndrew W. AppelLennart BeringerJohn HatcliffXinming OuAndrew CousinoPublished in: POST (2012)
Keyphrases
- information flow
- flow analysis
- social networks
- information flows
- supply chain
- communication networks
- theorem proving
- public key infrastructure
- multi context systems
- information exchange
- information security
- flow graph
- multi threaded
- authentication and access control
- social capital
- theorem prover
- information propagation
- process management
- knowledge management