A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language

A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language

We consider while-language programs with variables of two security types: low and high. Security static analysis of information flows of such programs identifies insecure information flows which can cause leaks. Semantic rules of such an analysis which was proposed in [6] assign security types for e...

Full description

Bibliographic Details
Main Authors: E. Ju. Antoshina, A. N. Barakova, E. S. Nikitin, D. Ju. Chalyy
Format: Article
Language:English
Published: Yaroslavl State University 2014-08-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
language security
static analysis
information flow
Online Access:https://www.mais-journal.ru/jour/article/view/93

Similar Items

Similar Items