Výsledky vyhledávání - "Nonnumerical Algorithms and Problems—Complexity of proof proce- dures General Terms"

PSPACE bounds for rank 1 modal logics

Autoři: Dirk Pattinson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dirk Pattinson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.cecs.anu.edu.au/%7Edpattinson/Publications/tocl2009.pdf.

Témata: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Modal Logic, Computational Logic, F.2.2. [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of Proof Proce- dures General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Shallow models, resolution, coalgebra

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.8626; http://users.cecs.anu.edu.au/%7Edpattinson/Publications/tocl2009.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.8626
http://users.cecs.anu.edu.au/%7Edpattinson/Publications/tocl2009.pdf

On Mutually-Exclusive Roles and Separation of

Autoři: Ninghui Li Mahesh V. Tripunitara Ziad Bizri a další

Přispěvatelé: Ninghui Li Mahesh V. Tripunitara Ziad Bizri a další

Zdroj: https://www.cs.purdue.edu/homes/ninghui/papers/sod-j.pdf.

Témata: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof proce- dures General Terms, Security, Theory Additional Key Words and Phrases, role-based access control, separation of duty, constraints, verification, com- putational

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.7590

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.7590

Resiliency Policies in Access Control

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: https://www.cs.purdue.edu/homes/ninghui/papers/resiliency_tissec.pdf.

Témata: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof proce- dures General Terms, Security, Theory Additional Key Words and Phrases, Access Control, Fault-tolerant, Policy Design

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.3719

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.3719