Search Sciweavers | Sciweavers

1150 search results - page 7 / 230

» Specifying Information-Flow Controls

click to vote

IJISEC
2007

149views more IJISEC 2007»

Dynamic security labels and static information flow control

13 years 9 months ago

Download tianyuan.org

This paper presents a language in which information ﬂow is securely controlled by a type system, yet the security class of data can vary dynamically. Information ﬂow policies ...

Lantian Zheng, Andrew C. Myers

claim paper

Read More »

click to vote

CSFW
2005
IEEE

136views Security Privacy» more CSFW 2005»

Achieving Information Flow Security through Precise Control of Effects

14 years 2 months ago

Download www.cs.missouri.edu

This paper advocates a novel approach to the construction of secure software: controlling information ﬂow and maintaining integrity via monadic encapsulation of effects. This ap...

William L. Harrison, James Hook

claim paper

Read More »

click to vote

FM
2008
Springer

130views Formal Methods» more FM 2008»

Specification and Checking of Software Contracts for Conditional Information Flow

13 years 10 months ago

Download people.cis.ksu.edu

Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...

Torben Amtoft, John Hatcliff, Edwin Rodrígu...

claim paper

Read More »

click to vote

POPL
2010
ACM

206views Programming Languages» more POPL 2010»

Paralocks : Role-Based Information Flow Control and Beyond

14 years 2 months ago

Download www.cse.chalmers.se

Niklas Broberg, David Sands

claim paper

Read More »