secure information flow

32

IASTEDSEA
2004

122views Software Engineering» more IASTEDSEA 2004»

Modeling and analyzing security protocols in SAM: A case study

14 years 16 days ago

: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...

Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao

claim paper

Read More »

37

click to vote

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

Secure information flow with random assignment and encryption

14 years 2 months ago

Download users.cis.fiu.edu

Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...

Geoffrey Smith

claim paper

Read More »

38

click to vote

CSFW
2007
IEEE

106views Security Privacy» more CSFW 2007»

Secure information flow and program logics

14 years 3 months ago

Download www.cs.princeton.edu

We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...

Lennart Beringer, Martin Hofmann

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers