A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.
Cédric FournetGurvan Le GuernicTamara RezkPublished in: CCS (2009)
Keyphrases
- information flow
- information security
- smart card
- social networks
- information flows
- flow analysis
- distributed systems
- supply chain
- multi context systems
- communication networks
- security protocols
- distributed environment
- computer networks
- multi threaded
- flow graph
- network security
- security mechanisms
- cryptographic protocols
- programming language
- encryption decryption
- reactive systems
- security services
- security issues
- intelligent agents
- database management systems
- object oriented
- information systems