Masaaki Mizuno  Home/Search
Context Related
| ksu.edu/~masaaki/ftp/flow89.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ksu.edu/~masaaki/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper expands earlier work; it presents an information flow certification mechanism which combines compile-time, link-time and run-time algorithms. In this approach, a user can specify the security class of each variable either to remain constant or to change during execution. The compile time algorithm is basically the same as the one presented in [8] (Update)
Context of citations to this paper: More
...Proofs of correctness of the above methods were intuitive or informal. The method we study in this paper was developed by Mizuno [13,14,15]. Mizuno s method analyzes modular systems, where readers and writers are modelled by procedures, and messages are parameters. It has...
...35, 34] has laid the foundation for the study of secure information flow analysis. Developments have been constantly reported [7, 74, 73, 75, 9, 1, 56]. In particular, the work of Volpano et al. [119, 117, 116, 103, 118] on using a type system to capture information flow has...
Cited by: More
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998) (Correct)
A Security Flow Control Algorithm and Its Denotational.. - Mizuno, Schmidt (1992) (Correct)
Similar documents (at the sentence level):
11.3%: Information Flow Control In A Distributed Object-Oriented.. - Mizuno, Oldehoeft (1988) (Correct)
Active bibliography (related documents): More All
0.1: A Sound Type System For Secure Flow Analysis - Volpano, Smith, al. (1996) (Correct)
0.1: A Security Proof System for Networks of Communicating Processes - Banatre, Bryce (1993) (Correct)
0.1: Eliminating Covert Flows with Minimum Typings - Volpano, Smith (1997) (Correct)
Similar documents based on text: More All
0.3: A Structured Approach for Developing Concurrent Programs in Java - Mizuno (1999) (Correct)
0.1: A Complete Set of Satisfaction Rules for Property Detection.. - Hurfin, Mizuno (Correct)
0.1: Development of Self-Stabilizing Distributed Algorithms .. - Kakugawa, Mizuno.. (1997) (Correct)
Related documents from co-citation: More All
7: Certification of programs for secure information flow (context) - Denning, Denning - 1977
7: An Axiomatic Approach to Information Flow in Programs (context) - Reitman - 1980
7: A lattice model of secure information flow (context) - Denning - 1976
BibTeX entry: (Update)
M. Mizuno. A Least Fixed Point Approach to Inter-Procedural Information Flow Control. In Proceedings 12th National Computer Security Conference, pages 558--570, 1989. http://citeseer.ist.psu.edu/mizuno89least.html More
@inproceedings{ mizuno89least,
author = "M. Mizuno",
title = "A Least Fixed Point Approach to Inter-Procedural Information Flow Control",
booktitle = "Proc. 12th {NIST}-{NCSC} National Computer Security Conference",
pages = "558--570",
year = "1989",
url = "citeseer.ist.psu.edu/mizuno89least.html" }
Citations (may not include all citations):815 Abstract interpretation : a unified lattice model for static.. (context) - Cousot, Cousot - 1977
221 Denotational Semantics --- A Methodology for Language Develo.. (context) - Schmidt
196 A lattice model of secure information flow (context) - Denning - 1976
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977
127 Principles of Compiler Design (context) - Aho, Ullman - 1979
85 Formal models for computer security (context) - Landwehr - 1981
54 An axiomatic approach to information flow in programs (context) - Andrews, Reitman - 1980
12 Information flow control in a distributed objectoriented sys.. - Mizuno, Oldehoeft - 1987
1 std edition (context) - Defense, System et al. - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.ksu.edu/~masaaki/papers.html): More
Decentralized Consensus Protocols - Neilsen, Mizuno (1991) (Correct)
An Optimistic Protocol for a Linearizable Distributed Shared.. - Masaaki Mizuno (1996) (Correct)
A Secure Quorum Protocol - Masaaki Mizuno (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC