Towards Secrecy Wildcards in Information Flow Analysis

DOI Web Site Open Access

Bibliographic Information

Other Title
  • 情報流解析における機密度ワイルドカードの提案
  • ジョウホウリュウ カイセキ ニ オケル キミツド ワイルドカード ノ テイアン

Search this article

Description

<p>This paper proposes secrecy wildcards for improving the flexibility of classes with parameterized secrecy in information flow analysis. It is hard to implement flexible APIs with secrecy-parameterized classes because the secrecy-parameterized classes are invariant, but wildcards for secrecy do not exist. In this paper, we formalize bounded secrecy wildcards used in the type of method parameters and define Java annotations for secrecy wildcards.</p>

Journal

  • Computer Software

    Computer Software 38 (4), 4_40-4_45, 2021-10-22

    Japan Society for Software Science and Technology

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top