Bounded Secrecy Parameters in Information Flow Analysis．

DOI Web Site Open Access

Bibliographic Information

Other Title
  • 情報流解析における制約付き機密度パラメータ
  • ジョウホウリュウ カイセキ ニ オケル セイヤク ツキ キミツド パラメータ

Search this article

Description

<p>This paper proposes bounded secrecy parameters in information flow analysis. Although secrecy parameters make it possible to define classes or functions without specifying a concrete secrecy for each data, programs that include secrecy parameters are required to satisfy noninterference with any substitution for secrecy parameters. Bounded secrecy parameters relax this too restrictive requirement and make more programs typable. We define a type system for information flow analysis of imperative programs with bounded secrecy parameters and show a simple example of type checking.</p>

Journal

  • Computer Software

    Computer Software 36 (4), 4_39-4_45, 2019-10-25

    Japan Society for Software Science and Technology

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top