80 search results - page 2 / 16 » Information flow inference for ML |
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
SAS
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
ICTAC
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
ICFP
2000
ACM
13 years 11 months ago
2000
ACM