Login / Signup
Secure Information Flow Typing in LUSTRE.
Sanjiva Prasad
R. Madhukar Yerraguntla
Subodh Sharma
Published in:
CoRR (2022)
Keyphrases
</>
information flow
flow analysis
communication networks
information flows
social networks
supply chain
functional modules
key management
information security
multi threaded
multi context systems
information systems
decision making
e learning