6527 search results - page 396 / 1306 » On Typing Information Flow |
144
click to vote
CAISE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
175
click to vote
FOSSACS
2003
Springer
16 years 3 days ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
180
click to vote
CCS
2004
ACM
16 years 8 days ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
187
click to vote
EUROSPI
2004
Springer
16 years 8 days ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
228
click to vote
ACSW
2003
15 years 8 months ago
2003
Pervasive systems require context awareness in order to be able to provide “anywhere, anytime” computing to mobile users. One type of context information is location informati...