Search Sciweavers | Sciweavers

314 search results - page 3 / 63

» Secure Information Flow and CPS

click to vote

CSFW
2010
IEEE

174views Security Privacy» more CSFW 2010»

Quantitative Information Flow - Verification Hardness and Possibilities

13 years 11 months ago

Download www.kb.ecei.tohoku.ac.jp

Hirotoshi Yasuoka, Tachio Terauchi

claim paper

Read More »

click to vote

JCS
2008

124views more JCS 2008»

Securing information flow via dynamic capture of dependencies

13 years 8 months ago

Download www.cs.jhu.edu

Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...

Paritosh Shroff, Scott F. Smith, Mark Thober

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers