Access control mechanisms are a fundamental building block in the construction of secure computing environments; however, most of the research in this area has been spent on traditional access control needs. These models were sufficient in classical computing systems such as databases and file systems, but as we continue to find new and innovative ways to utilize mobile computing systems these approaches are becoming inadequate. The primary difference between many of these new policies and traditional policies is the need to maintain state across transactions. An example of such a policy is a printer kiosk that allows printing only if the traveler has not printed more than some n pages. Currently, systems with these types of needs are controlled by ad-hoc, custom designed systems, rather than a generalized access control model that is able to express them. Traditional models also typically lack the ability to dynamically change. That is, traditional rule sets cannot express policies that require rules to be capable of creating new rules, or deleting old rules. The ability to dynamically produce and delete rules allows for an additional degree of state to be stored in the model. In this paper, we present the Stateful Access Control Model (SACM), which is designed specifically for these new paradigms and provides both these new capabilities. It supports usage in traditional centralized systems where access control information is stored on a computer, as well as a new approach where access rules are distributed across mobile devices.

O estímulo visual pode contribuir para o processo de ensino aprendizagem, especialmente em tópicos que requerem um alto grau de abstração como o estudo de Algoritmos e Processamento Digital de Imagens (PDI). Neste trabalho, apresentamos o EasYmage, uma ferramenta construída em Redes de Petri Coloridas (RPC), que objetiva apresentar graficamente a transformação de uma imagem digital durante a execução de algoritmos clássicos de PDI. O EasYmage facilita e especificação e validação de algoritmos, bem como acelera a curva de aprendizado. Como uma demonstração, apresentamos o exemplo de um algoritmo de rotação de uma imagem.

As Redes Definidas por Software (Software Defined Network SDN) fazem a divisão do plano de controle e do plano de encaminhamento, permitindo que haja uma visão global da rede, proporcionando uma rede programável de alto nível. Isso pode ser muitoútil para permitir que o controle de acesso à rede seja gerenciado associando os fluxos dos dispositivos a perfis de usuários. Este artigo propõe uma ferramenta de gerenciamento de perfis de usuário para a autorização de fluxos de dispositivos utilizando redes definidas por software. Essa ferramenta foi implementada sobre o controlador OpenFlow POX. No artigo descrevemos os experimentos realizados e os resultados obtidos, que mostram a eficácia e a facilidade de utilização do mecanismo.

Digital images are produced by a wide range of devices and with applications through digital processing in several areas. Simulations and mathematical modeling, in turn, are tools that allow the investigation of system designs, allowing failures identification, blocks and instabilities before they occur. One of available tools to carry out these simulations is the Colored Petri Nets (CPNets), a graphical and modeling language that allows constructing and analysis of models. In order to evaluate Digital Image Processing (DIP) modeling algorithms using this language, this paper proposes an extension of EasYmage model introduced by Alves and Júnior (2020), through the implementation of the Sobel Filter. From the obtained result, it is possible to conclude that CPNets are a tool capable of performing sophisticated DIP simulations, as well as validating the extensibility potential of EasYmage and indicating it as a framework for building models that have DIP as an intermediate process.Resumo: Imagens digitais são produzidas por uma vasta gama de dispositivos e com aplicações através de processamento digital em diversas áreas. Simulações e modelagem matemática, por sua vez, são ferramentas que permitem a investigação de projetos de sistemas, permitindo a identificação de falhas, bloqueios e instabilidades antes que estas ocorram. Uma das ferramentas disponíveis para a realização destas simulações são as Redes de Petri Coloridas (RPCs), uma linguagem gráfica e de modelagem que permite a construção e análise de modelos. No intuito de avaliar a modelagem de algoritmos de Processamento Digital de Imagens (PDI) usando esta linguagem, o presente trabalho propõe uma extensão do método EasYmage proposto por Alves e Júnior (2020), através da implementação do Filtro de Sobel. A partir do resultado obtido, é possível concluir que as RPCs constituem-se como uma ferramenta capaz de realizar simulações sofisticadas de PDI, bem como validam o potencial de extensibilidade do EasYmage e indicá-lo como arcabouço para construção de modelos que tenham PDI como processo intermediário.

No abstract