Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs.
Cinzia BernardeschiNicoletta De FrancescoGiuseppe LettieriPublished in: Fundam. Informaticae (2004)
Keyphrases
- information flow
- concurrent programs
- process algebra
- flow analysis
- information flows
- model checking
- formal specification
- concurrent systems
- asynchronous circuits
- communication networks
- information security
- social networks
- formal semantics
- concurrent programming
- formal methods
- supply chain
- flow graph
- multi context systems
- web services composition
- communication protocols
- temporal logic
- petri net
- multi agent systems