✦ LIBER ✦

[Lecture Notes in Computer Science] Information Security and Cryptology Volume 4318 || A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty

✍ Scribed by Lipmaa, Helger; Yung, Moti; Lin, Dongdai

Book ID: 120816078
Publisher: Springer Berlin Heidelberg
Year: 2006
Weight: 579 KB
Category: Article
ISBN: 3540496106
DOI: 10.1007/11937807_16

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Info

[Lecture Notes in Computer Science] Information Security Practice and Experience Volume 4464 || Formalization of RBAC Policy with Object Class Hierarchy

✍ Dawson, Ed; Wong, Duncan S. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 671 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Databases and Information Systems Volume 3631 || A Formal Model for the Problem of View Selection for Aggregate Queries

✍ Eder, Johann; Haav, Hele-Mai; Kalja, Ahto; Penjam, Jaan 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 451 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Databases and Information Systems Volume 3631 || A Formal Model for the Problem of View Selection for Aggregate Queries

✍ Eder, Johann; Haav, Hele-Mai; Kalja, Ahto; Penjam, Jaan 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 451 KB

The 9th East-european Conference On Advances In Databases And Information Systems Was Held On September 12–15, 2005, In Tallinn, Estonia. It Was Organized In A Cooperation Between The Institute Of Cybernetics At Tallinn University Of Technology, The Department Of Computer Engineering Of Tallinn Univ

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || A Framework for Verification of Software with Time and Probabilities

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 341 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Information and Database Systems Volume 7802 || Multi-domain Public Key Infrastructure for Information Security with Use of a Multi-Agent System

✍ Selamat, Ali; Nguyen, Ngoc Thanh; Haron, Habibollah 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 426 KB

[Lecture Notes in Computer Science] Arti

[Lecture Notes in Computer Science] Artificial Intelligence and Soft Computing - ICAISC 2004 Volume 3070 || Multi-criterion Evolutionary Algorithm with Model of the Immune System to Handle Constraints for Task Assignments

✍ Rutkowski, Leszek; Siekmann, Jörg H.; Tadeusiewicz, Ryszard; Zadeh, Lotfi A. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 95 KB