Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.
Propõe-se uma estratégia de modelagem e de análise formal de políticas de segurança para sistemas baseados em fluxos de trabalho (workflows) e contendo regras que envolvam aspectos de lógica de negócios. Verifica-se com o auxílio de uma política de exemplo que a estratégia proposta resulta em modelo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | pt |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2013
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-010929/ |