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 mo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
2013
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-010929/ |