Java + fluxo de informação (Jif em suma) é uma linguagem de programação digitado com segurança que se estende Java com suporte para controle de fluxo de informação e controle de acesso, tanto em tempo de compilação e em tempo de execução.
O código fonte para o compilador Jif e sistema de tempo de execução está agora disponível para download. Jif é escrito em Java e é construído usando a estrutura do compilador Java extensível Polyglot.
Estático controle de fluxo de informação pode proteger a confidencialidade e integridade da informação manipulada por sistemas de computação. O compilador acompanha a correspondência entre as informações das políticas que restringem seu uso, reforçando as propriedades de segurança end-to-end dentro do sistema. Depois de verificar o fluxo de informações no âmbito dos programas Jif, o compilador Jif traduz-los para programas em Java e utiliza um compilador Java comum para a produção de programas executáveis seguras.
Jif estende Java, adicionando rótulos que expressam as restrições à forma como as informações podem ser utilizados. Por exemplo, a seguinte declaração de variável declara não só que a variável x é um int, mas também que as informações contidas x é regido por uma política de segurança:
int {Alice → Bob} x;
Neste caso, a política de segurança diz que as informações contidas x é controlado pelo diretor Alice, e que Alice permite que esta informação seja visto pelo diretor Bob. A política {Alice ← Bob} significa que a informação é propriedade de Alice, e que Alice lhe permite ser afetado por Bob. Com base em anotações de rótulos como estes, o compilador Jif analisa os fluxos de informação no âmbito dos programas, para determinar se eles impor a confidencialidade e integridade das informações.
Comentários não encontrado