Sciweavers

1795 search results - page 11 / 359

» Security Models and Information Flow

119

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

15 years 9 months ago

An Information Flow Verifier for Small Embedded Systems

Download wistp2007.wistp.org

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

claim paper

Read More »

107

Voted

CSFW
1996
IEEE

101views Security Privacy» more CSFW 1996»

A Logic of Composition for Information Flow Predicates

15 years 7 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 »

114

CRISIS
2008

103views Security Privacy» more CRISIS 2008»

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

15 years 5 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 »

79

ACJ
2006

47views more ACJ 2006»

Securing UML Information Flow Using FlowUML

15 years 3 months ago

Securing UML Information Flow Using FlowUML

Download www.jrpit.acs.org.au

Khaled Alghathbar, Csilla Farkas, Duminda Wijeseke...

claim paper

Read More »

142

Voted

IEEEARES
2009
IEEE

174views Security Privacy» more IEEEARES 2009»

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics

15 years 1 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 »