Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Journal of Computer Security
Journal
Overview
Identifiers
View All
Overview
publication venue for
Improved typings for probabilistic noninterference in a multi-threaded language
. 14:591-623.
2006
Probabilistic noninterference in a concurrent language
. 7:231-253.
1999
Sound type system for secure flow analysis
. 4:167-187.
1996
Identifiers
International Standard Serial Number (ISSN)
0926-227X
