Výsledky vyhledávání - Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms Security

Beyond Separation of Duty: An Algebra for Specifying High-level Security Policies

Autoři: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.purdue.edu/homes/ninghui/papers/algebra_ccs06.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 procedures General Terms Security, Theory, Languages Keywords Access Control, Separation of Duty, Policy Design

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.5374; http://www.cs.purdue.edu/homes/ninghui/papers/algebra_ccs06.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.5374
http://www.cs.purdue.edu/homes/ninghui/papers/algebra_ccs06.pdf

Resiliency Policies in Access Control

Autoři: Ninghui Li Mahesh V. Tripunitara Qihua Wang a další

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

Zdroj: http://www.cerias.purdue.edu/ssl/techreports-ssl/2006-32.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 procedures General Terms Security, Theory Keywords Access Control, Fault-tolerant, Policy Design

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.65
http://www.cerias.purdue.edu/ssl/techreports-ssl/2006-32.pdf

On mutually-exclusive roles and separation of duty

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

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

Zdroj: http://www.cs.purdue.edu/homes/ninghui/papers/sod_ccs04.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 procedures General Terms Security, Theory Keywords role-based access control

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.320.4355; http://www.cs.purdue.edu/homes/ninghui/papers/sod_ccs04.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.320.4355
http://www.cs.purdue.edu/homes/ninghui/papers/sod_ccs04.pdf

Resiliency policies in access control

Autoři: Ninghui Li Mahesh V. Tripunitara Qihua Wang a další

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

Zdroj: https://ece.uwaterloo.ca/~tripunit/papers/resiliency-ccs-06.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 procedures General Terms Security, Theory Keywords Access Control, Fault-tolerant, Policy Design

Popis souboru: application/pdf

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

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

Beyond proof-of-compliance: security analysis in trust management

Autoři: Ninghui Li John C. Mitchell William H. Winsborough a další

Přispěvatelé: Ninghui Li John C. Mitchell William H. Winsborough a další

Zdroj: http://www.cs.utsa.edu/~winsboro/index_files/Papers/Safety_JACM_AcceptedVersion.pdf.

Témata: and Protection, D.4.6 [Operating Systems, Security and Protection—Access controls, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Security, Theory, Languages Additional Key Words and Phrases, access control, trust management, distributed system security, logic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.4238; http://www.cs.utsa.edu/~winsboro/index_files/Papers/Safety_JACM_AcceptedVersion.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.4238
http://www.cs.utsa.edu/~winsboro/index_files/Papers/Safety_JACM_AcceptedVersion.pdf

Motorola Labs

Autoři: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Zdroj: https://ece.uwaterloo.ca/~tripunit/papers/resiliency-tissec-09.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 Protec- tion, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Security, Theory Additional Key Words and Phrases, Access control, fault-tolerant, policy design ACM Reference Format

Popis souboru: application/pdf

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

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

Secure Multiparty Computation of Approximations.

Autoři: Feigenbaum, Joan Ishai, Yuval Malkin, Tal a další

Zdroj: ACM Transactions on Algorithms; 2006, Vol. 2 Issue 3, p435-472, 38p

Témata: ALGORITHMS, MATHEMATICAL analysis, APPROXIMATION theory, FUNCTIONAL analysis, MATHEMATICS, ALGEBRA

Beyond Separation of Duty: An Algebra for Specifying High-Level Security Policies.

Autoři: NINGHUI LI QIHUA WANG

Zdroj: Journal of the ACM; Jul2008, Vol. 55 Issue 3, p1-46, 46p, 2 Diagrams, 3 Charts

Témata: SEMANTICS, MATHEMATICAL analysis, ALGEBRA, SECURITY systems, COMPUTER security, COMPUTER access control, COMPUTER systems

The Effectiveness of Lloyd-Type Methods for the k-Means Problem.

Autoři: OSTROVSKY, RAFAIL RABANI, YUVAL SCHULMAN, LEONARD J. a další

Zdroj: Journal of the ACM; Dec2012, Vol. 59 Issue 6, p28-22, 22p

Témata: ALGORITHMS, APPROXIMATION algorithms, HEURISTIC algorithms, ALGEBRA, MATHEMATICAL optimization, ITERATIVE methods (Mathematics)

Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.

Autoři: CHATTERJEE, KRISHNENDU HENZINGER, MONIKA

Zdroj: Journal of the ACM; May2014, Vol. 61 Issue 3, p15:1-15:40, 40p

Témata: VIDEO games, GRAPH algorithms, MARKOV processes, GRAPH theory, MATHEMATICAL decomposition

Breaking the O(n²) Bit Barrier: Scalable Byzantine Agreement with an Adaptive Adversary.

Zdroj: Journal of the ACM; Jul2011, Vol. 58 Issue 4, p18:1-18:24, 24p

Témata: PEER-to-peer architecture (Computer networks), ALGORITHMS, DISTRIBUTED computing, MONTE Carlo method, COMPUTER science

The Cost of Fault Tolerance in Multi-Party Communication Complexity.

Autoři: BINBIN CHEN HAIFENG YU YUDA ZHAO a další

Zdroj: Journal of the ACM; May2014, Vol. 61 Issue 3, p19:1-19:64, 64p

Témata: FAULT-tolerant computing, COMMUNICATION complexity (Information theory), DISTRIBUTED computing, LOGARITHMIC functions, AD hoc computer networks

On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem.

Autoři: CRAMPTON, JASON GUTIN, GREGORY YEO, ANDERS

Zdroj: ACM Transactions on Information & System Security (TISSEC); Jun2013, Vol. 16 Issue 1, p1-31, 31p, 6 Diagrams

Témata: SATISFIABILITY (Computer science), PARAMETER estimation, COMPUTATIONAL complexity, GENERALIZATION, COMPUTER security, CONSTRAINT satisfaction, POLYNOMIALS

Resiliency Policies in Access Control.

Autoři: Ninghui Li Qihua Wang Mahesh Tripunitara

Zdroj: ACM Transactions on Information & System Security (TISSEC); 2009, Vol. 12 Issue 2, p20:1-20:34, 34p, 4 Diagrams, 4 Charts

Témata: ACCESS control, ACCESS to information, INFORMATION policy, SECURITY systems, COMPUTER security, FAULT-tolerant computing, FRAUD prevention

Logic of Infons: the Propositional Case.

Zdroj: ACM Transactions on Computational Logic; Jan2011, Vol. 12 Issue 2, p9-9:28, 28p

Témata: MATHEMATICAL logic, COMPUTATIONAL complexity, ALGORITHMS, MODEL theory, PROOF theory, ACCESS control, MATHEMATICAL formulas

Private and Continual Release of Statistics.

Autoři: T.-H. Hubert Chan Elaine Shi Dawn Song

Zdroj: ACM Transactions on Information & System Security (TISSEC); 2011, Vol. 14 Issue 3, p1-24, 24p

Témata: COMPUTER security, ALGORITHMS, STATISTICS, WEBSITES, AGGREGATION (Statistics), INTERNET users

Small Synopses for Group-By Query Verification on Outsourced Data Streams.

Autoři: KE YI FEIFEI LI CORMODE, GRAHAM a další

Zdroj: ACM Transactions on Database Systems; Aug2009, Vol. 34 Issue 3, p15:1-15:42, 42p, 3 Diagrams, 2 Charts, 6 Graphs

Témata: QUERYING (Computer science), VERIFICATION of computer systems, ALGORITHMS, COMPUTER security, HASHING, CLIENT/SERVER computing, MATHEMATICAL models, MATHEMATICAL inequalities

Satisfiability and Resiliency in Workflow Authorization Systems.

Zdroj: ACM Transactions on Information & System Security (TISSEC); 2010, Vol. 13 Issue 4, p40:1-40:35, 35p

Témata: FAULT-tolerant computing, ACCESS control, COMPUTER users, PERFORMANCE evaluation, ALGORITHMS, COMPUTATIONAL complexity, WORKFLOW software

Quantum Cryptography: A Survey.

Autoři: Bruss, Dagmar Erdeélyi, G´bor Meyer, Tim a další

Zdroj: ACM Computing Surveys; Jun2007, Vol. 39 Issue 2, p1-27, 27p, 2 Illustrations, 3 Charts

Témata: CRYPTOGRAPHY, DATA encryption, WRITING, COMPUTER security, DIGITAL signatures, DIGITAL watermarking

Semantical Characterizations and Complexity of Equivalences in Answer Set Programming.

Autoři: Eiter, Thomas Fink, Michael Woltran, Stefan

Zdroj: ACM Transactions on Computational Logic; Jul2007, Vol. 8 Issue 3, p1-53, 53p, 5 Charts, 1 Graph

Témata: COMPUTER programming, MANAGEMENT science, ALGORITHMS, LOGIC programming, MATHEMATICAL optimization, MATHEMATICAL analysis, NUMERICAL analysis