O controlo interno e a implementação de auditorias online no Safex em contexto de e-governance: Tecnologias, desafios e oportunidades

O presente Relatório Detalhado de Atividade Profissional é apresentado no âmbito da obtenção do Grau de Mestre dos Oficiais do Exército licenciados pré-Bolonha pela Academia Militar na Área específica de Administração Militar. A sua redação e estruturação tem por base o definido na NEP 520 e NEP 517/1ª da AM, para esta tipologia de trabalhos, tendo o autor, optado por desenvolver um tema no âmbito da sua atividade profissional, considerado como pioneiro e inovador. O Tenente-Coronel de Administração Militar do Exército Português, Luís Miguel Gonçalves, nasceu a 25 de Novembro de 1971. Do seu percurso académico e formativo, consta frequência pré-Universitária, em estabelecimento militar de ensino, no Instituto Militar dos Pupilos do Exército, na área de Contabilidade e Administração; a Licenciatura em Ciências Militares, na especialidade de Administração Militar, pela Academia Militar, em 1995, com a Classificação final de 13,58 valores; o tirocínio para Oficiais de Administração Militar, com a nota final de 15,38 valores; o Curso de Operações Irregulares, tendo obtido a classificação de 17,67 valores; o Curso de Promoção a Capitão, com 16,63 valores; e o Curso de Promoção a Oficial Superior do Instituto de Altos Estudos Militares, com a classificação final de 14,50 valores. No âmbito da formação de pós-graduação, tem averbado créditos no módulo de Metodologia de Investigação Cientifica, pela Academia Militar, no Ano Letivo 2013/14, com a classificação final de 16,00 valores. Para além destes, o Environmental Course For Portugal – NATO School/ SHAPE; formação em Gestão de Projetos/ Exército - Microsoft Enterprise Project Management; o Curso de Formação Pedagógica Inicial de Formadores do Instituto de Emprego e Formação Profissional, com Homologação das Competências Pedagógicas; e vários certificados de formações no âmbito da Contabilidade, Administração, Finanças Públicas e Auditorias Financeiras, atribuídas pela Direção de Finanças do Exército e pelo Instituto de Gestão e Administração Pública do Porto. Ao longo dos 25 anos de serviço prestado ao Exército Português, como Oficial de Administração Militar, desempenhou diversos cargos e funções de Comando e Chefia, em várias UEO, nas áreas setoriais e funcionais, da formação, da instrução, da componente operacional, da logística, do pessoal, das finanças públicas, das inspeções e auditorias, da gestão e da Administração Militar. Atualmente o Tenente-Coronel Miguel Gonçalves, desempenha as Funções de Comandante de Batalhão na Escola dos Serviços. Para além dos cargos e funções averbadas no seu Curriculum Vitae detalhado, constituiu em 1996 o Núcleo Logístico de Projeção, Implantação, Acompanhamento e Ajuda Técnica no âmbito do emprego dos meios táticos e operacionais da Área de Responsabilidade FND/ IFOR na Bósnia-Herzegovina (Jugoslávia). Tem publicado na Revista da Administração Militar, vários artigos no âmbito da logística operacional, na função de combate Apoio de Serviços. Na área da formação, foi orientador e supervisor de vários trabalhos, individuais e de grupo aos cursos de promoção a capitão; e constitui-se como elemento primariamente responsável pelo planeamento e implementação dos primeiros cursos no Exército, com formação certificado pela Agência Nacional para a Qualificação e Ensino Profissional, I.P., do Sistema Nacional de Qualificações, certificação inserida no Catálogo Nacional de Qualificações. Na área Inspetiva, integrou várias equipas de Inspeção-Geral do Exército, como inspetor responsável pelas áreas de Logística e Finanças, bem como as de Inspetor, para a área dos recursos humanos – Despesas com Pessoal, nas equipas de inspeção do Comando do Pessoal do Exército. No desempenho das funções de Auditor Financeiro do Centro de Finanças do Comando do Pessoal, realizou diversas auditorias financeiras às UEO do Comando do Pessoal, na sua dependência, tendo desenvolvido e implementado um sistema pioneiro e inovador de monitorização e controlo interno, de auditorias “Online” com análise e reporte mensal, às contas das UEO do Comando do Pessoal, tendo em vista a validação das Demonstrações Financeiras para a Conta de Gerência Anual do Exército. A escolha do tema, “O Controlo Interno e a implementação de Auditorias Online no SAFEx em contexto de e-Governance: Tecnologias, desafios e oportunidades” surge na sequência da implementação destes procedimentos pelo autor, numa altura em que o Exército entrava em operativo com o Sistema Integrado de Gestão (SIG/DN), tendo sido à data reconhecido publicamente pelo TGEN Comandante do Pessoal do Exército, como sendo um procedimento inovador, com notáveis vantagens para a eficiência e eficácia do sistema administrativo-financeiro do Comando do Pessoal e consequentemente do Exército.

SAFE: A Declarative Trust-Agile System with Linked Credentials

Secure Access For Everyone (SAFE), is an integrated system for managing trust

using a logic-based declarative language. Logical trust systems authorize each

request by constructing a proof from a context---a set of authenticated logic

statements representing credentials and policies issued by various principals

in a networked system. A key barrier to practical use of logical trust systems

is the problem of managing proof contexts: identifying, validating, and

assembling the credentials and policies that are relevant to each trust

decision.

SAFE addresses this challenge by (i) proposing a distributed authenticated data

repository for storing the credentials and policies; (ii) introducing a

programmable credential discovery and assembly layer that generates the

appropriate tailored context for a given request. The authenticated data

repository is built upon a scalable key-value store with its contents named by

secure identifiers and certified by the issuing principal. The SAFE language

provides scripting primitives to generate and organize logic sets representing

credentials and policies, materialize the logic sets as certificates, and link

them to reflect delegation patterns in the application. The authorizer fetches

the logic sets on demand, then validates and caches them locally for further

use. Upon each request, the authorizer constructs the tailored proof context

and provides it to the SAFE inference for certified validation.

Delegation-driven credential linking with certified data distribution provides

flexible and dynamic policy control enabling security and trust infrastructure

to be agile, while addressing the perennial problems related to today's

certificate infrastructure: automated credential discovery, scalable

revocation, and issuing credentials without relying on centralized authority.

We envision SAFE as a new foundation for building secure network systems. We

used SAFE to build secure services based on case studies drawn from practice:

(i) a secure name service resolver similar to DNS that resolves a name across

multi-domain federated systems; (ii) a secure proxy shim to delegate access

control decisions in a key-value store; (iii) an authorization module for a

networked infrastructure-as-a-service system with a federated trust structure

(NSF GENI initiative); and (iv) a secure cooperative data analytics service

that adheres to individual secrecy constraints while disclosing the data. We

present empirical evaluation based on these case studies and demonstrate that

SAFE supports a wide range of applications with low overhead.