Search Sciweavers | Sciweavers

722 search results - page 6 / 145

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

179

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 12 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 »

124

click to vote

CCS
2008
ACM

81views Security Privacy» more CCS 2008»

Trust management for secure information flows

15 years 8 months ago

Download www.usukita.org

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

claim paper

Read More »

162

click to vote

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

16 years 2 days ago

Download wistp2007.wistp.org

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

claim paper

Read More »

135

click to vote

CSFW
1996
IEEE

101views Security Privacy» more CSFW 1996»

A Logic of Composition for Information Flow Predicates

15 years 10 months ago

Download www.cs.virginia.edu

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

claim paper

Read More »

145

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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers