메뉴 건너뛰기




Volumn 2028, Issue , 2001, Pages 46-61

Secure information flow and CPS

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84945262623     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45309-1_4     Document Type: Conference Paper
Times cited : (50)

References (36)
  • 2
    • 0027574302 scopus 로고
    • Computational interpretations of linear logic
    • Samson Abramsky. Computational interpretations of linear logic. Theoretical Com- puter Science, 111:3-57, 1993.
    • (1993) Theoretical Com- Puter Science , vol.111 , pp. 3-57
    • Abramsky, S.1
  • 5
    • 0011976746 scopus 로고    scopus 로고
    • A classical linear lambda calculus
    • Gavin Bierman. A classical linear lambda calculus. Theoretical Computer Science, 227(1-2):43-78, 1999.
    • (1999) Theoretical Computer Science , vol.227 , Issue.1-2 , pp. 43-78
    • Bierman, G.1
  • 9
    • 0017517624 scopus 로고
    • Certification of Programs for Secure Information Flow
    • Dorothy E. Denning and Peter J. Denning. Certification of Programs for Secure Information Flow. Comm. of the ACM, 20(7):504-513, July 1977.
    • (1977) Comm. Of the ACM , vol.20 , Issue.7 , pp. 504-513
    • Denning, D.E.1    Denning, P.J.2
  • 10
    • 84945292727 scopus 로고    scopus 로고
    • Continuation passing transformations and abstract interpretation
    • Department of Computing, Work- shop on Theory and Formal Methods
    • J. Mylaert Filho and G. Burn. Continuation passing transformations and abstract interpretation. In Proc. First Imperial College, Department of Computing, Work- shop on Theory and Formal Methods, 1993.
    • Proc. First Imperial College , pp. 1993
    • Mylaert Filho, J.1    Burn, G.2
  • 19
    • 84945314331 scopus 로고    scopus 로고
    • Muchnick. Advanced Compiler Design and Implementation
    • Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997.
    • (1997) Morgan Kaufmann Publishers
    • Steven, S.1
  • 23
    • 0020247059 scopus 로고
    • A denotational framework for data flow analysis
    • Flemming Nielson. A denotational framework for data flow analysis. Acta Infor- matica, 18:265-287, 1982.
    • (1982) Acta Infor- Matica , vol.18 , pp. 265-287
    • Nielson, F.1
  • 24
    • 0011949663 scopus 로고    scopus 로고
    • Properties of terms in continuation-passing style in an ordered logical framework
    • J. Despeyroux, editor, Santa Barbara, California
    • Jeff Polakow and Frank Pfenning. Properties of terms in continuation-passing style in an ordered logical framework. In J. Despeyroux, editor, 2nd Workshop on Logical Frameworks and Meta-languages, Santa Barbara, California, June 2000.
    • (2000) 2Nd Workshop on Logical Frameworks and Meta-Languages
    • Polakow, J.1    Pfenning, F.2
  • 26
    • 84957869855 scopus 로고    scopus 로고
    • A PER model of secure information flow in sequential programs
    • Springer-Verlag, LNCS
    • Andrei Sabelfeld and David Sands. A PER model of secure information flow in sequential programs. In Proceedings of the European Symposium on Programming. Springer-Verlag, March 1999. LNCS volume 1576.
    • (1999) Proceedings of the European Symposium on Programming , vol.1576
    • Sabelfeld, A.1    Sands, D.2
  • 32
    • 0030370740 scopus 로고    scopus 로고
    • A sound type system for secure flow analysis
    • Dennis Volpano, Geoffrey Smith, and Cynthia Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):167-187, 1996.
    • (1996) Journal of Computer Security , vol.4 , Issue.3 , pp. 167-187
    • Volpano, D.1    Smith, G.2    Irvine, C.3
  • 35
    • 0003025818 scopus 로고
    • A syntactic approach to type soundness
    • Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
    • (1994) Information and Computation , vol.115 , Issue.1 , pp. 38-94
    • Andrew, K.W.1    Felleisen, M.2
  • 36
    • 84867467562 scopus 로고    scopus 로고
    • Confidentiality and integrity with un- trusted hosts
    • 2000-1810, Cornell University
    • Steve Zdancewic and Andrew C. Myers. Confidentiality and integrity with un- trusted hosts. Technical Report 2000-1810, Cornell University, 2000.
    • (2000) Technical Report
    • Zdancewic, S.1    Myers, A.C.2


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