메뉴 건너뛰기
IEEE Security and Privacy
Volumn 10, Issue 6, 2012, Pages 36-39
Suppose we Got a Do-Over: A Revolution for Secure Computing
Author keywords

[No Author keywords available]
Indexed keywords

EID: 85008532847     PISSN: 15407993     EISSN: None     Source Type: Journal    
DOI: 10.1109/MSP.2012.84     Document Type: Article
Times cited : (2)
References (5)
  • 1
    • 0016949746 scopus 로고
    • A Lattice Model of Secure Information Flow
    • D.E. Denning A Lattice Model of Secure Information Flow Comm. ACM 19 5 236 243 1976
    • (1976) Comm. ACM , vol.19 , Issue.5 , pp. 236-243
    • Denning, D.E.1
  • 2
    • 85177129045 scopus 로고    scopus 로고
    • A Decentralized Model for Information Control Flow
    • A.C. Myers B. Liskov A Decentralized Model for Information Control Flow 129 142
    • Myers, A.C.1    Liskov, B.2
  • 3
    • 0003744395 scopus 로고
    • The Cambridge CAP Computer and Its OS
    • Elsevier
    • M.V. Wilkes R.M. Needham The Cambridge CAP Computer and Its OS 1979 Elsevier
    • (1979)
    • Wilkes, M.V.1    Needham, R.M.2
  • 4
    • 80955170436 scopus 로고    scopus 로고
    • Capsicum: Practical Capabilities for UNIX
    • R.N.M. Watson Capsicum: Practical Capabilities for UNIX 29 45
    • Watson, R.N.M.1
  • 5
    • 85072519230 scopus 로고
    • The Foundations of a Provably Secure OS
    • R.J. Feiertag P.G. Neumann The Foundations of a Provably Secure OS Proc. Nat'l Computer Conf. Am. Federation of Information Processing Societies 329 334 Proc. Nat'l Computer Conf. Am. Federation of Information Processing Societies 1979
    • (1979) , pp. 329-334
    • Feiertag, R.J.1    Neumann, P.G.2

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.