Search Results - Nonnumerical Algorithms AND Problems—Complexity of proof procedures General Terms Security*

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

Authors: Ninghui Li John C. Mitchell William H. Winsborough et al.

Contributors: Ninghui Li John C. Mitchell William H. Winsborough et al.

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

Subject Terms: 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

File Description: 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

Availability: 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

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

Authors: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Contributors: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.purdue.edu/homes/ninghui/papers/algebra_ccs06.pdf.

Subject Terms: 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

File Description: 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

Availability: 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

Authors: Ninghui Li Mahesh V. Tripunitara Qihua Wang et al.

Contributors: Ninghui Li Mahesh V. Tripunitara Qihua Wang et al.

Source: http://www.cerias.purdue.edu/ssl/techreports-ssl/2006-32.pdf.

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

Authors: Ninghui Li Ziad Bizri Mahesh V. Tripunitara et al.

Contributors: Ninghui Li Ziad Bizri Mahesh V. Tripunitara et al.

Source: http://www.cs.purdue.edu/homes/ninghui/papers/sod_ccs04.pdf.

Subject Terms: 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

File Description: 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

Availability: 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

Authors: Ninghui Li Mahesh V. Tripunitara Qihua Wang et al.

Contributors: Ninghui Li Mahesh V. Tripunitara Qihua Wang et al.

Source: https://ece.uwaterloo.ca/~tripunit/papers/resiliency-ccs-06.pdf.

Subject Terms: 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

File Description: application/pdf

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

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

Motorola Labs

Authors: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Contributors: Ninghui Li Qihua Wang The Pennsylvania State University CiteSeerX Archives

Source: https://ece.uwaterloo.ca/~tripunit/papers/resiliency-tissec-09.pdf.

Subject Terms: 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

File Description: application/pdf

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

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

Secure Multiparty Computation of Approximations.

Authors: Feigenbaum, Joan Ishai, Yuval Malkin, Tal et al.

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

Subject Terms: ALGORITHMS, MATHEMATICAL analysis, APPROXIMATION theory, FUNCTIONAL analysis, MATHEMATICS, ALGEBRA

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

Authors: NINGHUI LI QIHUA WANG

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

Subject Terms: SEMANTICS, MATHEMATICAL analysis, ALGEBRA, SECURITY systems, COMPUTER security, COMPUTER access control, COMPUTER systems

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

Authors: OSTROVSKY, RAFAIL RABANI, YUVAL SCHULMAN, LEONARD J. et al.

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

Subject Terms: 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.

Authors: CHATTERJEE, KRISHNENDU HENZINGER, MONIKA

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

Subject Terms: VIDEO games, GRAPH algorithms, MARKOV processes, GRAPH theory, MATHEMATICAL decomposition

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

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

Subject Terms: PEER-to-peer architecture (Computer networks), ALGORITHMS, DISTRIBUTED computing, MONTE Carlo method, COMPUTER science

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

Authors: BINBIN CHEN HAIFENG YU YUDA ZHAO et al.

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

Subject Terms: 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.

Authors: CRAMPTON, JASON GUTIN, GREGORY YEO, ANDERS

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

Subject Terms: SATISFIABILITY (Computer science), PARAMETER estimation, COMPUTATIONAL complexity, GENERALIZATION, COMPUTER security, CONSTRAINT satisfaction, POLYNOMIALS

Resiliency Policies in Access Control.

Authors: Ninghui Li Qihua Wang Mahesh Tripunitara

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

Subject Terms: ACCESS control, ACCESS to information, INFORMATION policy, SECURITY systems, COMPUTER security, FAULT-tolerant computing, FRAUD prevention

Logic of Infons: the Propositional Case.

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

Subject Terms: MATHEMATICAL logic, COMPUTATIONAL complexity, ALGORITHMS, MODEL theory, PROOF theory, ACCESS control, MATHEMATICAL formulas

Private and Continual Release of Statistics.

Authors: T.-H. Hubert Chan Elaine Shi Dawn Song

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

Subject Terms: COMPUTER security, ALGORITHMS, STATISTICS, WEBSITES, AGGREGATION (Statistics), INTERNET users

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

Authors: KE YI FEIFEI LI CORMODE, GRAHAM et al.

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

Subject Terms: 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.

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

Subject Terms: FAULT-tolerant computing, ACCESS control, COMPUTER users, PERFORMANCE evaluation, ALGORITHMS, COMPUTATIONAL complexity, WORKFLOW software

Quantum Cryptography: A Survey.

Authors: Bruss, Dagmar Erdeélyi, G´bor Meyer, Tim et al.

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

Subject Terms: CRYPTOGRAPHY, DATA encryption, WRITING, COMPUTER security, DIGITAL signatures, DIGITAL watermarking

Semantical Characterizations and Complexity of Equivalences in Answer Set Programming.

Authors: Eiter, Thomas Fink, Michael Woltran, Stefan

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

Subject Terms: COMPUTER programming, MANAGEMENT science, ALGORITHMS, LOGIC programming, MATHEMATICAL optimization, MATHEMATICAL analysis, NUMERICAL analysis