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 9 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 5 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 8 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 1 days 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

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers