Secure information flow with random assignment and encryption.
Geoffrey SmithRafael AlpízarPublished in: FMSE (2006)
Keyphrases
- information propagation
- information flow
- key management
- key exchange
- encryption scheme
- data encryption
- security properties
- social networks
- cryptographic protocols
- random number
- integrity verification
- supply chain
- digital signature
- security analysis
- stream cipher
- flow analysis
- information security
- communication networks
- chosen plaintext
- encryption decryption
- information flows
- diffie hellman
- secret key
- security requirements
- multi threaded
- data protection
- cryptographic algorithms
- data confidentiality
- digital rights management
- flow graph
- public key cryptography
- security protocols
- standard model
- pseudorandom
- reactive systems
- private key
- encryption algorithm
- security mechanisms
- mutual authentication
- functional modules
- model checking