Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

87

Voted

JCS
2006

66views more JCS 2006»

Improved typings for probabilistic noninterference in a multi-threaded language

15 years 2 months ago

Improved typings for probabilistic noninterference in a multi-threaded language

Download users.cis.fiu.edu

Geoffrey Smith

Real-time Traffic

JCS 2006 |

claim paper

Related Content

» Secure Information Flow in a MultiThreaded Imperative Language

» Probabilistic Noninterference in a Concurrent Language

» Probabilistic Noninterference through Weak Probabilistic Bisimulation

» Secure information flow with random assignment and encryption

» Informationflow types for homomorphic encryptions

» More Typed Assembly Languages for Confidentiality

» Cryptographically sound implementations for typed informationflow security

» InformationFlow Security for Interactive Programs

» A Semantic Framework for Declassification and Endorsement

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JCS
Authors	Geoffrey Smith

Comments (0)