Login / Signup
An iterative method for secure inter-procedural information flow control.
Masaaki Mizuno
Published in:
COMPSAC (1989)
Keyphrases
</>
information flow control
information flow
object oriented
standard model
security analysis
covert channel
key exchange
authentication scheme
cryptographic protocols
data sets
data mining
authentication protocol
key management
distributed environment
declarative knowledge
lightweight
peer to peer