Search Sciweavers | Sciweavers

314 search results - page 3 / 63

» Secure Information Flow and CPS

Voted

CSFW
2010
IEEE

174views Security Privacy» more CSFW 2010»

Quantitative Information Flow - Verification Hardness and Possibilities

15 years 24 days 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

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

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers