Java + Fluxo de Informações Java + Fluxo de informações é uma linguagem de programação digitada com segurança que estende Java com suporte para controle de fluxo de informações.
Baixe Agora

Java + Fluxo de Informações Classificação e resumo

Java + Fluxo de Informações Tag

Java linguagem de programação controle de acesso fluxo controle de fluxo Jif.

Java + Fluxo de Informações Descrição

Java + Fluxo de informações é uma linguagem de programação digitada de segurança que estende Java com suporte para controle de fluxo de informações. Java + Fluxo de Informações (JAF em breve) é uma linguagem de programação digitada de segurança que estende Java com suporte para controle de fluxo de informações e controle de acesso, tanto no tempo de compilação quanto no tempo de execução. O código-fonte do sistema fonte e do tempo de execução. está agora disponível para download. O Java está escrito em Java e é construído usando o Polyglot Extensible Java Compiler Framework.Stático O controle de fluxo de informações pode proteger a confidencialidade e integridade das informações manipuladas por sistemas de computação. O compilador rastreia a correspondência entre informações as políticas que restringem seu uso, impondo as propriedades de segurança de ponta a ponta no sistema. Após a verificação do fluxo de informações nos programas JIF, o compilador Java as traduz para os programas Java e usa um compilador Java ordinário para produzir programas executáveis seguros.jif estende o Java adicionando rótulos que expressam restrições sobre como as informações podem ser usadas. Por exemplo, a seguinte declaração variável declara não apenas que a variável X é um int, mas também que as informações em x são regidas por uma política de segurança: int {Alice Bob} x; Neste caso, a política de segurança diz que o A informação em X é controlada pelo principal Alice, e que Alice permite que esta informação seja vista pelo principal Bob. A política {Alice Bob} significa que as informações são de propriedade de Alice, e que Alice permite que seja afetada por Bob. Baseado em anotações de etiquetas como estas, o compilador JIF analisa os fluxos de informações dentro dos programas, para determinar se eles aplicam a confidencialidade e integridade das informações.

Java + Fluxo de Informações Software Relacionado