Search Sciweavers | Sciweavers

722 search results - page 6 / 145

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

Voted

ACMSE
2006
ACM

162views Theoretical Computer Science» more ACMSE 2006»

Type inference and informative error reporting for secure information flow

15 years 3 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

14 years 11 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

15 years 3 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

15 years 1 months 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers