메뉴 건너뛰기
Formal Aspects of Computing
Volumn 4, Issue 1 Supplement, 1992, Pages 727-754
A security flow control algorithm and its denotational semantics correctness proof
Author keywords

Abstract interpretation; Denotational semantics; Information flow control; Security
Indexed keywords

EID: 0000046942     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/BF03180570     Document Type: Article
Times cited : (39)
References (23)
  • 4
    • 84934457193 scopus 로고    scopus 로고
    • [CoC77] Cousot, P. and Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs. Proc. 4th ACM Principles of Programming Languages, 1977, pp. 238–252.
  • 5
    • 84934457194 scopus 로고    scopus 로고
    • [Den75] Denning, D. E.: Secure Information Flow in Computer Systems. PhD Dissertation, Purdue University, 1975.
  • 10
    • 84934457189 scopus 로고    scopus 로고
    • [JoM86] Jones, N. and Mycroft, A.: Data Flow Analysis of Applicative Programs Using Minimal Function Graphs, Proc. 13th ACM Symp. on Principles of Programming Languages, St. Petersburg, FL, 1986.
  • 11
    • 84934457188 scopus 로고    scopus 로고
    • [JøS86] Jørring, U. and Scherlis, W. L.: Compilers and Staging Transformations. Proc. 13th ACM Symp. on Principles of Programming Languages, St. Petersburg, FL, 1986, pp. 86–96.
  • 13
    • 84934457191 scopus 로고    scopus 로고
    • [MiO87] Mizuno, M. and Oldehoeft, A. E.: Information Flow Control in a Distributed Object-Oriented System with Statically Bound Object Variables. Proc. 10th National Computer Security Conf. 1987, pp. 56–67.
  • 15
    • 84934457190 scopus 로고    scopus 로고
    • [Miz89] Mizuno, M.: A Least Fixed Point Approach to Inter-Procedural Information Flow Control. Proc. 12th National Computer Security Conf., 1989, pp. 558–570.
  • 16
    • 84934457185 scopus 로고    scopus 로고
    • [MoW88] Montenyohl, M. and Wand, M.: Correct Flow Analysis in Continuation Semantics, Proc. 15th Annual ACM SlGACT-SIGPLAN Symp. on Principles of Programming Languages, San Diego, California, January 1988, pp. 204–218.
  • 20
    • 84934457184 scopus 로고    scopus 로고
    • [NiN92] Nielson, H. R. and Neilson, F.: Bounded Fixed Point Iteration. Proc. 19th ACM Symp. on Principles of Programming Languages, January 1992.

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