6527 search results - page 142 / 1306 » On Typing Information Flow |
ICEIS
2006
IEEE
14 years 3 months ago
2006
IEEE
The consideration of Product information or Knowledge management, product traceability or genealogy, and product life cycle management implies new strategies and approaches to mana...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
VISSYM
2007
13 years 11 months ago
2007
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...
CPP
2011
12 years 9 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...