A Per Model of Secure Information Flow in Sequential Programs (1998)

by Andrei Sabelfeld , David Sands
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION
Citations:96 - 19 self

Documents Related by Co-Citation

425 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
736 Security policies and security models – J Goguen, J Meseguer
410 Certification of Programs for Secure Information Flow – D E Denning, P J Denning - 1977
239 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
457 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
222 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
128 Probabilistic noninterference for multithreaded programs – A Sabelfeld, D Sands - 2000
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003