6527 search results - page 277 / 1306 » On Typing Information Flow |
191
click to vote
JCS
2002
15 years 6 months ago
2002
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
228
click to vote
DGO
2003
15 years 8 months ago
2003
Semantic heterogeneity of information is a major barrier of information and system interoperability. Defining ontology of data and mapping ontologies among heterogeneous informati...
234
click to vote
SDB
1995
15 years 10 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
185
click to vote
COLING
1990
15 years 7 months ago
1990
We consider the problem of extracting specified types of information from natural language text. To properly analyze the text, we wish to apply semantic (selectional) constraints ...
148
click to vote
TGC
2007
Springer
16 years 24 days ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...