Search Sciweavers | Sciweavers

2335 search results - page 25 / 467

» Securing Distributed Systems with Information Flow Control

122

click to vote

ACMICEC
2004
ACM

171views ECommerce» more ACMICEC 2004»

Efficient integration of web services with distributed data flow and active mediation

15 years 7 months ago

Download eig.stanford.edu

This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...

David Liu, Jun Peng, Kincho H. Law, Gio Wiederhold

claim paper

Read More »

click to vote

CSFW
2004
IEEE

112views Security Privacy» more CSFW 2004»

Lenient Array Operations for Practical Secure Information Flow

15 years 5 months ago

Download users.cis.fiu.edu

Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...

Zhenyue Deng, Geoffrey Smith

claim paper

Read More »

113

click to vote

JCS
2007

80views more JCS 2007»

Secure information flow for a concurrent language with scheduling

15 years 1 months ago

Download hal.archives-ouvertes.fr

Information ﬂow type systems provide an elegant means to enforce conﬁdentiality of programs. Using the proof assistant Isabelle/HOL, we have speciﬁed an information ﬂow ty...

Gilles Barthe, Leonor Prensa Nieto

claim paper

Read More »

click to vote

JISE
2007

60views more JISE 2007»

An Information Flow Control Model for Both Object-Oriented and Non-Object-Oriented Systems

15 years 1 months ago

Download www.iis.sinica.edu.tw

Shih-Chien Chou, Chia-Wei Lai

claim paper

Read More »