Flow Caml
From MaRDI portal
Cited in
(10)- A secrecy-preserving language for distributed and object-oriented systems
- Paragon
- SeLINQ: tracking information across application-database boundaries
- Jif
- HLIO: mixing static and dynamic typing for information-flow control in Haskell
- HLIO
- SeLINQ
- JSFlow
- Securing interaction between threads and the scheduler in the presence of synchronization
- Combining behavioural types with security analysis
This page was built for software: Flow Caml
