2486 search results - page 60 / 498 » A Type System for Computationally Secure Information Flow |
143
click to vote
CGF
2008
15 years 4 months ago
2008
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...
160
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...
118
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...
133
click to vote
ICFP
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
109
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Cross-origin CSS attacks use style sheet import to steal confidential information from a victim website, hijacking a user's existing authenticated session; existing XSS defen...