Sciweavers

1795 search results - page 11 / 359

» Security Models and Information Flow

27

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

14 years 1 months ago

An Information Flow Verifier for Small Embedded Systems

Download wistp2007.wistp.org

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

claim paper

Read More »

21

CSFW
1996
IEEE

101views Security Privacy» more CSFW 1996»

A Logic of Composition for Information Flow Predicates

13 years 11 months ago

A Logic of Composition for Information Flow Predicates

Download www.cs.virginia.edu

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

claim paper

Read More »

29

CRISIS
2008

103views Security Privacy» more CRISIS 2008»

Policy-based intrusion detection in Web applications by monitoring Java information flows

13 years 9 months ago

Policy-based intrusion detection in Web applications by monitoring Java information flows

Download www.rennes.supelec.fr

Guillaume Hiet, Valérie Viet Triem Tong, Lu...

claim paper

Read More »

17

ACJ
2006

47views more ACJ 2006»

Securing UML Information Flow Using FlowUML

13 years 7 months ago

Securing UML Information Flow Using FlowUML

Download www.jrpit.acs.org.au

Khaled Alghathbar, Csilla Farkas, Duminda Wijeseke...

claim paper

Read More »

22

IEEEARES
2009
IEEE

174views Security Privacy» more IEEEARES 2009»

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics

13 years 5 months ago

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics

Download www.dcs.kcl.ac.uk

We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...

Chunyan Mu, David Clark

claim paper

Read More »

« Prev « First page 11 / 359 Last » Next »