Abstraction in Programming - working definition (1999)

View PDF

Download Links

by John N. Shutt , John N. Shutt
Citations:2 - 1 self

Documents Related by Co-Citation

585 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
610 Secure Computer Systems: Unified Exposition and Multics Interpretation – D Bell, L LaPadula - 1976
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
774 Security policies and security models – J Goguen, J Meseguer - 1982
3430 Communication and Concurrency – R Milner - 1989
443 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
429 A Note on the Confinement Problem – Butler W. Lampson - 1973
408 Defining Liveness – B Alpern, F B Schneider - 1985