Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

Language: English

You searched for subject:(Access Control Methods). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. 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

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)

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 28, 2021. http://www.theses.fr/2016PESC1042.

MLA Handbook (7th 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. 28 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 28]. 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

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

Degree: 2013, University of Illinois – Chicago

 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… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th Edition):

Martinoia, Diego. “Proving Correctness within an Access Control Evaluation Framework.” 2013. Thesis, University of Illinois – Chicago. Accessed January 28, 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 (7th Edition):

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

Vancouver:

Martinoia D. Proving Correctness within an Access Control Evaluation Framework. [Internet] [Thesis]. University of Illinois – Chicago; 2013. [cited 2021 Jan 28]. 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


Université de Sherbrooke

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

Degree: 2017, Université de Sherbrooke

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 28, 2021. http://hdl.handle.net/11143/10155.

MLA Handbook (7th Edition):

Huynh, Nghi. “Vérification et validation de politiques de contrôle d'accès dans le domaine médical.” 2017. Web. 28 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 28]. 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


ETH Zürich

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

Degree: 2013, ETH Zürich

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th Edition):

Werthmüller, Tanja. “Efficient evaluation of PBel access control policies.” 2013. Thesis, ETH Zürich. Accessed January 28, 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 (7th Edition):

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

Vancouver:

Werthmüller T. Efficient evaluation of PBel access control policies. [Internet] [Thesis]. ETH Zürich; 2013. [cited 2021 Jan 28]. 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

.