Search Sciweavers | Sciweavers

722 search results - page 6 / 145

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

111

click to vote

ACMSE
2006
ACM

162views Theoretical Computer Science» more ACMSE 2006»

Type inference and informative error reporting for secure information flow

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

15 years 1 months ago

Download www.usukita.org

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

claim paper

Read More »

Voted

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers