subject:(Access Control Methods)

Brno University of Technology

1. Frdlík, Tomáš. Řízení přístupu v sítích IP: Access Control in IP Networks.

Degree: 2018, Brno University of Technology

► In this thesis we describe the problematic of QoS security for various services provided through IP network. These applications have high QoS parameter requirements such… (more)

Subjects/Keywords: AC metody; Gaussova metoda; neuronové sítě; metody řízení přístupu; QoS; AC methods; access control methods; Gaussian method; neuronové sítě; QoS

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Frdlík, T. (2018). Řízení přístupu v sítích IP: Access Control in IP Networks. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/84250

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Frdlík, Tomáš. “Řízení přístupu v sítích IP: Access Control in IP Networks.” 2018. Thesis, Brno University of Technology. Accessed January 18, 2021. http://hdl.handle.net/11012/84250.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Frdlík, Tomáš. “Řízení přístupu v sítích IP: Access Control in IP Networks.” 2018. Web. 18 Jan 2021.

Vancouver:

Frdlík T. Řízení přístupu v sítích IP: Access Control in IP Networks. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Jan 18]. Available from: http://hdl.handle.net/11012/84250.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Frdlík T. Řízení přístupu v sítích IP: Access Control in IP Networks. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/84250

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Brno University of Technology

2. Frdlík, Tomáš. Řízení přístupu v sítích IP: Access Control in IP Networks.

Degree: 2019, Brno University of Technology

URL: http://hdl.handle.net/11012/82394

► In this thesis we describe the problematic of QoS security for various services provided through IP network. These applications have high QoS parameter requirements such… (more)

Subjects/Keywords: AC metody; Gaussova metoda; neuronové sítě; metody řízení přístupu; QoS; AC methods; access control methods; Gaussian method; neuronové sítě; QoS

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Frdlík, T. (2019). Řízení přístupu v sítích IP: Access Control in IP Networks. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/82394

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Frdlík, Tomáš. “Řízení přístupu v sítích IP: Access Control in IP Networks.” 2019. Thesis, Brno University of Technology. Accessed January 18, 2021. http://hdl.handle.net/11012/82394.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Frdlík, Tomáš. “Řízení přístupu v sítích IP: Access Control in IP Networks.” 2019. Web. 18 Jan 2021.

Vancouver:

Frdlík T. Řízení přístupu v sítích IP: Access Control in IP Networks. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 18]. Available from: http://hdl.handle.net/11012/82394.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Frdlík T. Řízení přístupu v sítích IP: Access Control in IP Networks. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/82394

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

ETH Zürich

3. Werthmüller, Tanja. Efficient evaluation of PBel access control policies.

Degree: 2013, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/153956

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; ZUGRIFFSKONTROLLE (BETRIEBSSYSTEME); SPECIAL PROGRAMMING METHODS; ACCESS CONTROL (OPERATING SYSTEMS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Werthmüller, T. (2013). Efficient evaluation of PBel access control policies. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/153956

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Werthmüller, Tanja. “Efficient evaluation of PBel access control policies.” 2013. Thesis, ETH Zürich. Accessed January 18, 2021. http://hdl.handle.net/20.500.11850/153956.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Werthmüller, Tanja. “Efficient evaluation of PBel access control policies.” 2013. Web. 18 Jan 2021.

Vancouver:

Werthmüller T. Efficient evaluation of PBel access control policies. [Internet] [Thesis]. ETH Zürich; 2013. [cited 2021 Jan 18]. Available from: http://hdl.handle.net/20.500.11850/153956.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Werthmüller T. Efficient evaluation of PBel access control policies. [Thesis]. ETH Zürich; 2013. Available from: http://hdl.handle.net/20.500.11850/153956

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Penn State University

4. O'Neill, Tara Anne. Perspectives of Parents of Children with Cerebral Palsy on the Supports, Challenges, and Realities of Integrating AAC into Everyday Life.

Degree: 2018, Penn State University

URL: https://submit-etda.libraries.psu.edu/catalog/15513tao5012

► In order to ensure long-term adoption and use of augmentative and alternative communication (AAC) technologies, they must be designed to support children to participate within… (more)

▼ In order to ensure long-term adoption and use of augmentative and alternative communication (AAC) technologies, they must be designed to support children to participate within everyday activities and routines that are prioritized by families. Nine parents of children with cerebral palsy who used AAC technologies participated in semi-structured interviews to provide their perspectives of how AAC technologies were integrated into the functional contexts of everyday life. Five major themes emerged from the discussions: (a) integrating AAC into life, (b) AAC technologies, (c) child needs and skills, (d) parent responsibilities and priorities, and (e) AAC process and decision-making. Children were able to use AAC technologies within a variety of everyday contexts with various partners; however, challenges included access to AAC within physical and outdoor activities and partners who lacked knowledge regarding operational competencies and effective interaction strategies. In order to integrate AAC technologies into life, parents prioritized technology features including ease of programming, improved physical design (e.g., lighter, wearable, easy to mount, durable), features to enhance efficiency and ease of access (e.g., brain-computer interface, sentence prediction), and availably of multiple functions and features (e.g., facial recognition software, augmented reality, projection capabilities, capability to control wheelchair). AAC manufacturers and mainstream technology developers should work to ensure that technologies are responsive to the supports, limitations, and ideal features identified by parents. Future research should seek input from a larger group of stakeholders and use longitudinal methods to examine perceptions of AAC technologies over time. Advisors/Committee Members: Krista M Wilkinson, Dissertation Advisor/Co-Advisor, Krista M Wilkinson, Committee Chair/Co-Chair, Janice Catherine Light, Committee Member, Carol Anne Miller, Committee Member, Rick Owen Gilmore, Outside Member.

Subjects/Keywords: In order to ensure long-term adoption and use of augmentative and alternative communication (AAC) technologies; they must be designed to support children to participate within everyday activities and routines that are prioritized by families. Nine parents of children with cerebral palsy who used AAC technologies participated in semi-structured interviews to provide their perspectives of how AAC technologies were integrated into the functional contexts of everyday life. Five major themes emerged from the discussions: (a) integrating AAC into life; (b) AAC technologies; (c) child needs and skills; (d) parent responsibilities and priorities; and (e) AAC process and decision-making. Children were able to use AAC technologies within a variety of everyday contexts with various partners; however; challenges included access to AAC within physical and outdoor activities and partners who lacked knowledge regarding operational competencies and effective interaction strategies. In order to integrate AAC technologies into life; parents prioritized technology features including ease of programming; improved physical design (e.g.; lighter; wearable; easy to mount; durable); features to enhance efficiency and ease of access (e.g.; brain-computer interface; sentence prediction); and availably of multiple functions and features (e.g.; facial recognition software; augmented reality; projection capabilities; capability to control wheelchair). AAC manufacturers and mainstream technology developers should work to ensure that technologies are responsive to the supports; limitations; and ideal features identified by parents. Future research should seek input from a larger group of stakeholders and use longitudinal methods to examine perceptions of AAC technologies over time. Keywords: technology design; augmentative and alternative communication; parents; cerebral palsy; service delivery; technology design; family

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

O'Neill, T. A. (2018). Perspectives of Parents of Children with Cerebral Palsy on the Supports, Challenges, and Realities of Integrating AAC into Everyday Life. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/15513tao5012

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

O'Neill, Tara Anne. “Perspectives of Parents of Children with Cerebral Palsy on the Supports, Challenges, and Realities of Integrating AAC into Everyday Life.” 2018. Thesis, Penn State University. Accessed January 18, 2021. https://submit-etda.libraries.psu.edu/catalog/15513tao5012.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

O'Neill, Tara Anne. “Perspectives of Parents of Children with Cerebral Palsy on the Supports, Challenges, and Realities of Integrating AAC into Everyday Life.” 2018. Web. 18 Jan 2021.

Vancouver:

O'Neill TA. Perspectives of Parents of Children with Cerebral Palsy on the Supports, Challenges, and Realities of Integrating AAC into Everyday Life. [Internet] [Thesis]. Penn State University; 2018. [cited 2021 Jan 18]. Available from: https://submit-etda.libraries.psu.edu/catalog/15513tao5012.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

O'Neill TA. Perspectives of Parents of Children with Cerebral Palsy on the Supports, Challenges, and Realities of Integrating AAC into Everyday Life. [Thesis]. Penn State University; 2018. Available from: https://submit-etda.libraries.psu.edu/catalog/15513tao5012

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Université de Sherbrooke

5. Huynh, Nghi. Vérification et validation de politiques de contrôle d'accès dans le domaine médical.

Degree: 2017, Université de Sherbrooke

URL: http://hdl.handle.net/11143/10155

► Abstract : In healthcare, data digitization and the use of the Electronic Health Records (EHR) offer several benefits, such as the reduction of the space… (more)

Subjects/Keywords: Contrôle d'accès; Méthodes formelles; Sécurité; Protection des données; Vérification; Validation; Politique de sécurité; Access control; Formal methods

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Huynh, N. (2017). Vérification et validation de politiques de contrôle d'accès dans le domaine médical. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/10155

Chicago Manual of Style (16^th Edition):

Huynh, Nghi. “Vérification et validation de politiques de contrôle d'accès dans le domaine médical.” 2017. Doctoral Dissertation, Université de Sherbrooke. Accessed January 18, 2021. http://hdl.handle.net/11143/10155.

MLA Handbook (7^th Edition):

Huynh, Nghi. “Vérification et validation de politiques de contrôle d'accès dans le domaine médical.” 2017. Web. 18 Jan 2021.

Vancouver:

Huynh N. Vérification et validation de politiques de contrôle d'accès dans le domaine médical. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2017. [cited 2021 Jan 18]. Available from: http://hdl.handle.net/11143/10155.

Council of Science Editors:

Huynh N. Vérification et validation de politiques de contrôle d'accès dans le domaine médical. [Doctoral Dissertation]. Université de Sherbrooke; 2017. Available from: http://hdl.handle.net/11143/10155

6. Hilia, Mohamed. Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment.

Degree: Docteur es, Informatique, 2013, Université Paris-Est

URL: http://www.theses.fr/2013PEST1198

►

L'intelligence ambiante est considérée comme l'une des évolutions majeures de l'informatique ubiquitaire. Elle vise la mise en œuvre des environnements ambiants ou des espaces intelligents… (more)

▼

L'intelligence ambiante est considérée comme l'une des évolutions majeures de l'informatique ubiquitaire. Elle vise la mise en œuvre des environnements ambiants ou des espaces intelligents permettant d'améliorer la vie quotidienne des utilisateurs, leur bien-être et leur sécurité. Un environnement ambiant dispose d'une multitude d'équipements (capteurs, actionneurs), fournissant des services ubiquitaires atomiques qui sont distribués et de nature hétérogène. Ces services atomiques disponibles dans ce type d'environnement, ne répondent pas directement ou complètement à toutes les exigences et les besoins des utilisateurs. Par ailleurs, ces services de haut niveau peuvent impliquer l'interaction de services ubiquitaires appartenant et/ou contrôlés par différentes structures ou domaines (i.e. environnement multi-domaine). Dans ces travaux de thèse, on a étudié les problématiques reliées à l'agrégation des services ubiquitaires atomiques dans des coopérations et des compositions dans un environnement ambiant multi-domaine afin de répondre à des besoins utilisateurs. Cette étude concerne l'interopérabilité sémantique et comportementale des compositions de services ainsi que leurs spécifications dans un modèle formel basé sur la logique constructive BCDL0. Cette thèse a contribuée par la réalisation d'un canevas sémantique permettant la conception et la vérification formelles des processus coopératifs dans l'assistant à la preuve Isabelle/HOL. Le canevas sémantique proposé consiste en une ontologie de coopération extensible et un langage de spécification de services fiable (Sound) ainsi que des modules de mise en correspondance vers des infrastructures cibles

Ambient Intelligence is considered as the major application domain of ubiquitous computing. It aims at implementing intelligent environments to improve the daily activities, the well-being and the safety of users. An ambient environment has a multitude of devices (sensors, actuators), providing atomic ubiquitous services which are distributed and heterogeneous. These atomic services available in these environments, do not directly or fully meet all the requirements and the needs of users. Moreover, these high-level services may involve the interaction of ubiquitous services owned and/or controlled by different structures or domains (i.e. multi-domain environment). In this work, we studied the problems related to the aggregation of atomic ubiquitous services in cooperations and compositions in an ambient multi-domain environment in order to meet users' needs. This study concerns the semantic and behavioral interoperability of high-level composite services and their formal specification. This latter, is based on the Basic Constructive Description Logic, namely, BCDL0 formal model. This work contributes by realizing a semantic framework for the design and formal verification of cooperative processes in the interactive theorem prover Isabelle/HOL. The proposed semantic framework consists of an extensible cooperation ontology, a sound formal specification language of…

Advisors/Committee Members: Djouani, Karim (thesis director).

Subjects/Keywords: Web sémantique; Environnement mutli-Domaines; Contol d'accès et d'usage; Architecture orienté services; Méthodes formelle; Composition de services; Semantic Web; Multi-Domains environnement; Access and usage control; Service oriented architecture; Formal methods; Service composition

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Hilia, M. (2013). Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2013PEST1198

Chicago Manual of Style (16^th Edition):

Hilia, Mohamed. “Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment.” 2013. Doctoral Dissertation, Université Paris-Est. Accessed January 18, 2021. http://www.theses.fr/2013PEST1198.

MLA Handbook (7^th Edition):

Hilia, Mohamed. “Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment.” 2013. Web. 18 Jan 2021.

Vancouver:

Hilia M. Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment. [Internet] [Doctoral dissertation]. Université Paris-Est; 2013. [cited 2021 Jan 18]. Available from: http://www.theses.fr/2013PEST1198.

Council of Science Editors:

Hilia M. Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment. [Doctoral Dissertation]. Université Paris-Est; 2013. Available from: http://www.theses.fr/2013PEST1198

7. Konopacki, Pierre. Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles : Security policies modeling by using formal methods.

Degree: Docteur es, Informatique, 2012, Université Paris-Est

URL: http://www.theses.fr/2012PEST1089

►

Le contrôle d'accès permet de spécifier une partie de la politique de sécurité d'un SI (système d'informations). Une politique de CA (Contrôle d'accès) permet de… (more)

▼

Le contrôle d'accès permet de spécifier une partie de la politique de sécurité d'un SI (système d'informations). Une politique de CA (Contrôle d'accès) permet de définir qui a accès à quoi et sous quelles conditions. Les concepts fondamentaux utilisés en CA sont : les permissions, les interdictions (ou prohibitions), les obligations et la SoD (séparation des devoirs). Les permissions permettent d'autoriser une personne à accéder à des ressources. Au contraire les prohibitions interdisent à une personne d'accéder à certaines ressources. Les obligations lient plusieurs actions. Elles permettent d'exprimer le fait qu'une action doit être réalisée en réponse à une première action. La SoD permet de sécuriser une procédure en confiant la réalisation des actions composant cette procédure à des agents différents. Différentes méthodes de modélisation de politiques de contrôle d'accès existent. L'originalité de la méthode EB3Sec issue de nos travaux repose sur deux points :- permettre d'exprimer tous les types de contraintes utilisées en CA dans un même modèle,- proposer une approche de modélisation basée sur les événements. En effet, aucune des méthodes actuelles ne présente ces deux caractéristiques, au contraire de la méthode EB3Sec. Nous avons défini un ensemble de patrons, chacun des patrons correspond à un type de contraintes de CA. Un modèle réalisé à l'aide de la méthode EB3Sec peut avoir différentes utilisations :- vérification et simulation,- implémentation. La vérification consiste à s'assurer que le modèle satisfait bien certaines propriétés, dont nous avons défini différents types. Principalement, les blocages doivent être détectés. Ils correspondent à des situations où une action n'est plus exécutable ou à des situations où plus aucune action n'est exécutable. Les méthodes actuelles des techniques de preuves par vérification de modèles ne permettent pas de vérifier les règles dynamiques de CA. Elles sont alors combinées à des méthodes de simulation. Une fois qu'un modèle a été vérifié, il peut être utilisé pour implémenter un filtre ou noyau de sécurité. Deux manières différentes ont été proposées pour réaliser cette implémentation : transformer le modèle EB3Sec vers un autre langage, tel XACML, possédant une implémentation ayant déjà atteint la maturité ou réaliser un noyau de sécurité utilisant le langage EB3Sec comme langage d'entrée

Access control allows one to specify a part of the security Policy of an IS (information system). An AC (access control) policy defines which conditions must old for someone to have access to something. Main concepts used in AC are: permissions, prohibitions, obligations and SoD (separation of duty). Permissions allow someone to access to some resources. On the opposite, prohibitions forbid users to have access to some resources. Obligations link at least two actions: when a user performs an action, he must perform another one. SoD secures an action by dividing it in different tasks, and entrusting the execution of these tasks to different users. Many AC policies modelling…

Advisors/Committee Members: Laleau, Régine (thesis director).

Subjects/Keywords: Méthodes formelles; Contrôle d\'accès; Sécurité; Formal methods; Access control; Security

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Konopacki, P. (2012). Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles : Security policies modeling by using formal methods. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2012PEST1089

Chicago Manual of Style (16^th Edition):

Konopacki, Pierre. “Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles : Security policies modeling by using formal methods.” 2012. Doctoral Dissertation, Université Paris-Est. Accessed January 18, 2021. http://www.theses.fr/2012PEST1089.

MLA Handbook (7^th Edition):

Konopacki, Pierre. “Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles : Security policies modeling by using formal methods.” 2012. Web. 18 Jan 2021.

Vancouver:

Konopacki P. Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles : Security policies modeling by using formal methods. [Internet] [Doctoral dissertation]. Université Paris-Est; 2012. [cited 2021 Jan 18]. Available from: http://www.theses.fr/2012PEST1089.

Council of Science Editors:

Konopacki P. Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles : Security policies modeling by using formal methods. [Doctoral Dissertation]. Université Paris-Est; 2012. Available from: http://www.theses.fr/2012PEST1089

8. Huynh, Nghi. Vérification et validation de politiques de contrôle d'accès dans le domaine médical : Verification and validation of healthcare access control policies.

Degree: Docteur es, Informatique, 2016, Université Paris-Est

URL: http://www.theses.fr/2016PESC1042

►

Dans le domaine médical, la numérisation des documents et l’utilisation des dossiers patient électroniques (DPE, ou en anglais EHR pour Electronic Health Record) offrent de… (more)

▼

Dans le domaine médical, la numérisation des documents et l’utilisation des dossiers patient électroniques (DPE, ou en anglais EHR pour Electronic Health Record) offrent de nombreux avantages, tels que le gain de place ou encore la facilité de recherche et de transmission de ces données. Les systèmes informatiques doivent reprendre ainsi progressivement le rôle traditionnellement tenu par les archivistes, rôle qui comprenait notamment la gestion des accès à ces données sensibles. Ces derniers doivent en effet être rigoureusement contrôlés pour tenir compte des souhaits de confidentialité des patients, des règles des établissements et de la législation en vigueur. SGAC, ou Solution de Gestion Automatisée du Consentement, a pour but de fournir une solution dans laquelle l’accès aux données du patient serait non seulement basée sur les règles mises en place par le patient lui-même mais aussi sur le règlement de l’établissement et sur la législation. Cependant, cette liberté octroyée au patient est source de divers problèmes : conflits, masquage des données nécessaires aux soins ou encore tout simplement erreurs de saisie. C’est pour cela que la vérification et la validation des règles d’accès sont cruciales : pour effectuer ces vérifications, les méthodes formelles fournissent des moyens fiables de vérification de propriétés tels que les preuves ou la vérification de modèles.Cette thèse propose des méthodes de vérification adaptées à SGAC pour le patient : elle introduit le modèle formel de SGAC, des méthodes de vérifications de propriétés telles l’accessibilité aux données ou encore la détection de document inaccessibles. Afin de mener ces vérifications de manière automatisée, SGAC est modélisé en B et Alloy ; ces différentes modélisations donnent accès aux outils Alloy et ProB, et ainsi à la vérification automatisée de propriétés via la vérification de modèles ou model checking

In healthcare, data digitization and the use of the Electronic Health Records (EHR) offer several benefits, such as reduction of the space occupied by data, or the ease of data search or data exchanges. IT systems must gradually act as the archivists who manage the access over sensitive data. Those have to be checked to be consistent with patient privacy wishes, hospital rules, and laws and regulations.SGAC, or Solution de Gestion Automatisée du Consentement, aims to offer a solution in which access to patient data would be based on patient rules, hospital rules and laws. However, the freedom granted to the patient can cause several problems: conflicts, hiding of the needed data to heal the patient or simply data-capture error. Therefore, verification and validation of policies are crucial: to conduct this verification, formal methods provide reliable ways to verify properties like proofs or model checking.This thesis provides verification methods applied on SGAC for the patient: it introduces the formal model of SGAC, verification methods of properties such as data reachability or hidden data detection. To conduct those verification in an…

Advisors/Committee Members: Laleau, Régine (thesis director), Frappier, Marc (thesis director), Mammar, Amel (thesis director).

Subjects/Keywords: Méthodes formelles; Vérification; Contrôle d'accès; Dmp; Médical; Formal methods; Verification; Access control; Ehr; Healthcare

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Huynh, N. (2016). Vérification et validation de politiques de contrôle d'accès dans le domaine médical : Verification and validation of healthcare access control policies. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2016PESC1042

Chicago Manual of Style (16^th Edition):

Huynh, Nghi. “Vérification et validation de politiques de contrôle d'accès dans le domaine médical : Verification and validation of healthcare access control policies.” 2016. Doctoral Dissertation, Université Paris-Est. Accessed January 18, 2021. http://www.theses.fr/2016PESC1042.

MLA Handbook (7^th Edition):

Huynh, Nghi. “Vérification et validation de politiques de contrôle d'accès dans le domaine médical : Verification and validation of healthcare access control policies.” 2016. Web. 18 Jan 2021.

Vancouver:

Huynh N. Vérification et validation de politiques de contrôle d'accès dans le domaine médical : Verification and validation of healthcare access control policies. [Internet] [Doctoral dissertation]. Université Paris-Est; 2016. [cited 2021 Jan 18]. Available from: http://www.theses.fr/2016PESC1042.

Council of Science Editors:

Huynh N. Vérification et validation de politiques de contrôle d'accès dans le domaine médical : Verification and validation of healthcare access control policies. [Doctoral Dissertation]. Université Paris-Est; 2016. Available from: http://www.theses.fr/2016PESC1042

University of Arkansas

9. Morovat, Katanosh. Designing Secure Access Control Model in Cyber Social Networks.

Degree: PhD, 2017, University of Arkansas

URL: https://scholarworks.uark.edu/etd/2390

► Nowadays, information security in online communication has become an indisputable topic. People prefer pursuing their connection and public relations due to the greater flexibility… (more)

▼ Nowadays, information security in online communication has become an indisputable topic. People prefer pursuing their connection and public relations due to the greater flexibility and affordability of online communication. Recently, organizations have established online networking sites concerned with sharing assets among their employees. As more people engage in social network, requirements for protecting information and resources becomes vital. Over the years, many access control methods have been proposed. Although these methods cover various information security aspects, they have not provided an appropriate approach for securing information within distributed online networking sites. Moreover, none of the previous research provides an access control method in case an existing resource encompassing various parts and each part has its own accessing control policy. In this research, we investigate the access control requirements in order to conserve data and encompassed resources, which are shared in the social network, from users with unapproved access. Under the proposed method, users are able to define policies easily to protect their individual information and resources from unauthorized users. In addition, requestors are able to generate inquiries in easy and efficient way. We define an appropriate format to present rules and queries, which are converted from policies and inquiries respectively. The proposed approach defines a method in case a user would like to access a resource belonging to another user where both users are members of different online networking sites. In order to add more flexibility, this method controls access to data and resources by evaluating requestor’s attributes, object’s attributes, action or operation taken by requestor, environmental condition, and policies which are created by users or a super user of social network to protect the users’ resources. This approach is called Policy-Based Attribute Access Control (PBAAC). The policies defined to secure a resource may conflict with other policies. The proposed method offers an appropriate solution to resolve this issue. Due to achievement of better performance with regards to efficiency, this research analyzes the method to compromise simple rules, complex rules, or rules including several attributes. The results prove that simple rules provide better performance. Advisors/Committee Members: Brajendra Panda, Wing-Ning Li, Dale Thompson.

Subjects/Keywords: Access Control Methods; Cybersecurity; Social Network; Information Security

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Morovat, K. (2017). Designing Secure Access Control Model in Cyber Social Networks. (Doctoral Dissertation). University of Arkansas. Retrieved from https://scholarworks.uark.edu/etd/2390

Chicago Manual of Style (16^th Edition):

Morovat, Katanosh. “Designing Secure Access Control Model in Cyber Social Networks.” 2017. Doctoral Dissertation, University of Arkansas. Accessed January 18, 2021. https://scholarworks.uark.edu/etd/2390.

MLA Handbook (7^th Edition):

Morovat, Katanosh. “Designing Secure Access Control Model in Cyber Social Networks.” 2017. Web. 18 Jan 2021.

Vancouver:

Morovat K. Designing Secure Access Control Model in Cyber Social Networks. [Internet] [Doctoral dissertation]. University of Arkansas; 2017. [cited 2021 Jan 18]. Available from: https://scholarworks.uark.edu/etd/2390.

Council of Science Editors:

Morovat K. Designing Secure Access Control Model in Cyber Social Networks. [Doctoral Dissertation]. University of Arkansas; 2017. Available from: https://scholarworks.uark.edu/etd/2390

10. Martinoia, Diego. Proving Correctness within an Access Control Evaluation Framework.

Degree: 2013, University of Illinois – Chicago

URL: http://hdl.handle.net/10027/10132

► This thesis presents the proofs developed to demonstrate correctness of a case study within the Access Control Evaluation Framework (ACEF). ACEF is a theoretical framework… (more)

Subjects/Keywords: Access Control; Formal Methods; Correctness; PVS; Verification

…access control, we must add some specificity to the representation. More specifically, the list… …explaining the rest of the theory. 2.1 Access Control Model Definition 1 (Access Control… …Model). An Access Control Model (ACM) M is a tuple S, Q, |= such that: • S… …Model). Access Matrix type A (AMa ) is the simplest type of access control… …graph, adding labelled edges that represent how actions affect the states. 2.2 Access Control…

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Martinoia, D. (2013). Proving Correctness within an Access Control Evaluation Framework. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/10132

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Martinoia, Diego. “Proving Correctness within an Access Control Evaluation Framework.” 2013. Thesis, University of Illinois – Chicago. Accessed January 18, 2021. http://hdl.handle.net/10027/10132.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Martinoia, Diego. “Proving Correctness within an Access Control Evaluation Framework.” 2013. Web. 18 Jan 2021.

Vancouver:

Martinoia D. Proving Correctness within an Access Control Evaluation Framework. [Internet] [Thesis]. University of Illinois – Chicago; 2013. [cited 2021 Jan 18]. Available from: http://hdl.handle.net/10027/10132.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Martinoia D. Proving Correctness within an Access Control Evaluation Framework. [Thesis]. University of Illinois – Chicago; 2013. Available from: http://hdl.handle.net/10027/10132

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

11. Slaymaker, Mark Arthur. The formalisation and transformation of access control policies.

Degree: PhD, 2011, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:179cd9d2-0547-42b7-84a0-690bc4478bfb ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.542973

► Increasing amounts of data are being collected and stored relating to every aspect of an individual's life, ranging from shopping habits to medical conditions. This… (more)

Subjects/Keywords: 621.382; Computer security; Computing; Software Engineering; Formal Methods; Access Control Modelling; Transformation

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Slaymaker, M. A. (2011). The formalisation and transformation of access control policies. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:179cd9d2-0547-42b7-84a0-690bc4478bfb ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.542973

Chicago Manual of Style (16^th Edition):

Slaymaker, Mark Arthur. “The formalisation and transformation of access control policies.” 2011. Doctoral Dissertation, University of Oxford. Accessed January 18, 2021. http://ora.ox.ac.uk/objects/uuid:179cd9d2-0547-42b7-84a0-690bc4478bfb ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.542973.

MLA Handbook (7^th Edition):

Slaymaker, Mark Arthur. “The formalisation and transformation of access control policies.” 2011. Web. 18 Jan 2021.

Vancouver:

Slaymaker MA. The formalisation and transformation of access control policies. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2021 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:179cd9d2-0547-42b7-84a0-690bc4478bfb ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.542973.

Council of Science Editors:

Slaymaker MA. The formalisation and transformation of access control policies. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:179cd9d2-0547-42b7-84a0-690bc4478bfb ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.542973

12. Giannakopoulos, Theophilos John. Multi-Decision Policy and Policy Combinator Specifications.

Degree: MS, 2012, Worcester Polytechnic Institute

URL: etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166

► Margrave is a specification language and analysis tool for access control policies with semantics based in order-sorted logic. The clear logical roots of Margrave's… (more)

Subjects/Keywords: formal methods; access control; policy combinators; policies; specifications; Margrave

Record Details Similar Records Cite « Share

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^th Edition):

Giannakopoulos, T. J. (2012). Multi-Decision Policy and Policy Combinator Specifications. (Thesis). Worcester Polytechnic Institute. Retrieved from etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^th Edition):

Giannakopoulos, Theophilos John. “Multi-Decision Policy and Policy Combinator Specifications.” 2012. Thesis, Worcester Polytechnic Institute. Accessed January 18, 2021. etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^th Edition):

Giannakopoulos, Theophilos John. “Multi-Decision Policy and Policy Combinator Specifications.” 2012. Web. 18 Jan 2021.

Vancouver:

Giannakopoulos TJ. Multi-Decision Policy and Policy Combinator Specifications. [Internet] [Thesis]. Worcester Polytechnic Institute; 2012. [cited 2021 Jan 18]. Available from: etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Giannakopoulos TJ. Multi-Decision Policy and Policy Combinator Specifications. [Thesis]. Worcester Polytechnic Institute; 2012. Available from: etd-022112-163738 ; https://digitalcommons.wpi.edu/etd-theses/166

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

		in
And / Or
		in
And / Or
		in
And / Or
		in

Open Access Theses and Dissertations