Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
SAS04: Abstract for Paper 18
Modular and constraint-based information flow inference for an object-oriented language
We address the problem of checking programs written in an
object-oriented language to ensure that they satisfy the information
flow policies, confidentiality and integrity. Policy
is specified using security types. We present an algorithm that infers
such security types in a modular manner. This involves inference for
libraries, for which purpose we parameterize classes by security
levels. Moreover we show how modular inference is preserved in the
presence of method inheritance and override. We also prove soundness and
completeness of the inference algorithm.