Search Sciweavers | Sciweavers

722 search results - page 6 / 145

» Information Theory and Security: Quantitative Information Fl...

click to vote

ACMSE
2006
ACM

162views Theoretical Computer Science» more ACMSE 2006»

Type inference and informative error reporting for secure information flow

14 years 2 months ago

Download users.cs.fiu.edu

If we classify the variables of a program into various security levels, then a secure information ﬂow analysis aims to verify statically that information in the program can ﬂo...

Zhenyue Deng, Geoffrey Smith

claim paper

Read More »

click to vote

CCS
2008
ACM

81views Security Privacy» more CCS 2008»

Trust management for secure information flows

13 years 10 months ago

Download www.usukita.org

Mudhakar Srivatsa, Shane Balfe, Kenneth G. Paterso...

claim paper

Read More »

click to vote

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

14 years 2 months ago

Download wistp2007.wistp.org

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...

claim paper

Read More »

click to vote

CSFW
1996
IEEE

101views Security Privacy» more CSFW 1996»

A Logic of Composition for Information Flow Predicates

14 years 18 days ago

Download www.cs.virginia.edu

Ramesh V. Peri, William A. Wulf, Darrell M. Kienzl...

claim paper

Read More »

click to vote

CRISIS
2008

103views Security Privacy» more CRISIS 2008»

Policy-based intrusion detection in Web applications by monitoring Java information flows

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers