A. Myers. J ow: Practical mostly-static information ow control. In Proceedings of 26th ACM Symposium on Principles of Programming Languages (POPL99), 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Secrets and Relative Secrecy - Volpano, Smith (2000) (26 citations) (Correct)
....string matches a user s password in a password le. Information ow control would prohibit the result of such an attempt from being observed by an arbitrary user. One way around this restriction is to allow privileged users to explicitly declassify the result, allowing some information to leak [9]. If a password checker merely returns the result of a match query, then the declassi cation could be justi ed knowing that any attempt to exploit the checker in order When we run the algorithm and it terminates with l = n, we want to be able to conclude that h = n with some probability. The ....
A. Myers. J ow: Practical mostly-static information ow control. In Proceedings 26th Symposium on Principles of Programming Languages, pages 228-241, San Antonio, TX, January 1999.
Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (10 citations) (Correct)
....threads. An issue which has not been addressed here, but is planned for future work, is the feasibility of checking noninterference using a type inference algorithm, in the line of [19] Current work is also oriented towards the treatment of more realistic languages, as advocated for instance in [12], including exceptions and higher order constructs. Acknowledgements We would like to thank Geo rey Smith for his interest in, and comments on the submitted version of this paper, and the anonymous referees, whose questions and suggestions led us to largely revise and improve the last section of ....
A. Myers. J ow: Practical mostly-static information ow control. In 26th ACM Symposium on Principles of Programming Languages (POPL), 1999.
Checking Secure Interactions of Smart Card - Applets Extended Version (Correct)
No context found.
A. Myers. J ow: Practical mostly-static information ow control. In Proceedings of 26th ACM Symposium on Principles of Programming Languages (POPL99), 1999.
Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (10 citations) (Correct)
No context found.
A. Myers. J ow: Practical mostly-static information ow control. In 26th ACM Symposium on Principles of Programming Languages (POPL), 1999.
Checking Secure Interactions of Smart Card Applets: .. - Bieber, Cazin.. (2002) (7 citations) (Correct)
No context found.
A. Myers. J ow: Practical mostly-static information ow control. In Proceedings of 26th ACM Symposium on Principles of Programming Languages (POPL99), 1999.
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