Search Sciweavers | Sciweavers

315 search results - page 4 / 63

» Arrows for secure information flow

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

HASKELL
2008
ACM

100views Programming Languages» more HASKELL 2008»

A library for light-weight information-flow security in haskell

13 years 8 months ago

Download www.cse.chalmers.se

Protecting conﬁdentiality of data has become increasingly important for computing systems. Information-ﬂow techniques have been developed over the years to achieve that purpos...

Alejandro Russo, Koen Claessen, John Hughes

claim paper

Read More »

click to vote

CCS
2008
ACM

81views Security Privacy» more CCS 2008»

Trust management for secure information flows

13 years 9 months ago

Download www.usukita.org

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

claim paper

Read More »