Data processing: database and file management or data structures – Database and file access – Database access control methods
Reexamination Certificate
2011-08-30
2011-08-30
Mofiz, Apu M (Department: 2161)
Data processing: database and file management or data structures
Database and file access
Database access control methods
C713S151000, C726S001000
Reexamination Certificate
active
08010560
ABSTRACT:
Logical abduction is used to derive the premises that support an access query. In a logic-based access-control system, a query, as to one or more principals' right to access one or more resources, is a statement that can be either true or false. The statement evaluates to true if the principal is allowed to access the resource under the existing set of assertions. Assertions that, if made, would cause the statement to be true can be abduced from the query and from the policy against which the truth of the query is to be judged. The abduced assertions can be used to assist in making the appropriate assertions to cause the query to evaluate to true so that access to the resource can be granted.
REFERENCES:
patent: 5649099 (1997-07-01), Theimer et al.
patent: 5712960 (1998-01-01), Chiopris et al.
patent: 5812994 (1998-09-01), Imlah
patent: 6883034 (2005-04-01), Pelavin et al.
patent: 6910003 (2005-06-01), Arnold et al.
patent: 6925443 (2005-08-01), Baggett, Jr. et al.
patent: 6941471 (2005-09-01), Lin
patent: 6952737 (2005-10-01), Coates et al.
patent: 7120635 (2006-10-01), Bhide et al.
patent: 7184985 (2007-02-01), DeTreville
patent: 7260831 (2007-08-01), Beznosov et al.
patent: 7505970 (2009-03-01), Adya et al.
patent: 2002/0116647 (2002-08-01), Mont et al.
patent: 2003/0037263 (2003-02-01), Kamat et al.
patent: 2005/0043932 (2005-02-01), Cardelli et al.
patent: 2005/0086540 (2005-04-01), Gunter et al.
patent: 2006/0005227 (2006-01-01), Samuelsson et al.
patent: 2006/0112048 (2006-05-01), Talbot et al.
patent: 2006/0206925 (2006-09-01), Dillaway et al.
patent: 2006/0253700 (2006-11-01), Della-Libera et al.
patent: 2006/0256953 (2006-11-01), Pulaski et al.
patent: 2007/0094216 (2007-04-01), Mathias et al.
patent: 2007/0203881 (2007-08-01), Schaad et al.
patent: 2007/0289024 (2007-12-01), Mohammed
patent: 2009/0165110 (2009-06-01), Becker et al.
patent: 2009/0193493 (2009-07-01), Becker et al.
“E Pluribus Unum, Deduction, Abduction and Induction the Reasoning Service for Access Control in Autonomic Communication”, Hristo Kohutanski Jun. 2005.
“Abduction and Deduction in Logic Programming for Access control for Autonomic System”, Hristo Koshutanski, 2005.
“Abductive Reasoning”, Reference.com. Wikipedia, the free encyclopedia, http://www.reference.com/browse/wiki/Abductive—reasoning.
“Charles Sanders Peirce, Deduction, Induction, and Abduction”, http://plato.stanford.edu/entries/peirce/#dia.
“OASIS eXtensible Access Control Markup Language (XACML) TC”, www.oasis-open.org/committees/xacml.
Bandara, et al., “Toward a Formal Characterization of Policy Specification & Analysis”, pp. 1-9.
Becker Moritz Y., “Cassandra: flexible trust management and its application to electronic health records”, Date: Oct. 2005, pp. 1-214.
Becker, et al., “Design and Semantics of a Decentralized Authorization Language”, pp. 1-13.
Becker, et al., “SecPAL: Design and Semantics of a Decentralized Authorization Language”, Date: Sep. 2006, pp. 1-33.
Becker, et al., “The Role of Abduction in Declarative Authorization Policies”, Date: Aug. 2007, pp. 1-21.
Bonatti, et al., “Advanced Policy Explanations on the Web”, pp. 1-5.
Canovas, et al., “Delegation in Distributed Systems: Challenges and Open Issues”, Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), Date: 2003, pp. 1-5.
Chleq Nicolas, “Constrained Resolution and Abducttve Temporal Reasoning”, http://www.blackwell-synergy.com/doi/abs/10.1111/j.1467-8640.1996.tb00268.x?journalCode=coin.
De Treville John, “Binder, a Logic-Based Security Language”, Date: 2002, pp. 1-9.
Dillaway Blair, “A Unified Approach to Trust, Delegation, and Authorization in Large-Scale Grids”, Date: Sep. 2006, pp. 1-24, Microsoft Corporation, Redmond, WA.
Dillaway, et al., “Security Policy Assertion Language (SecPAL) Specification”, Date: Feb. 15, 2007, pp. 1-51.
Humphrey, et al., “Fine-Grained Access Control for GridFTP using SecPAL”, Preliminary version; to appear in 8th IEEE/ACM International Conference on Grid Computing (Grid 2007), Date: Sep. 19-21, 2007, pp. 1-9.
Kakas Antonis, “Integrating Abduction and Constraint Solving”, Date: 2000, pp. 1-7.
Kakas, et al., “Reasoning Techniques for Analysis and Refinement of Policies for Service Management”, Date: 2005, pp. 1-64.
Kakas, et al., “The Role of Abduction in Logic Programming”, pp. 1-80.
Koshutanski, et al., “Abduction and Deduction in Logic Programming for Access Control for Autonomic Systems”, Date: Jun. 2005, pp. 1-40.
Koshutanski, et al., “E Pluribus Unum”, Date: 2005, pp. 179-190.
Koshutanski, et al., “Interactive Access Control for Web Services”, pp. 1-16.
Kotenko, et al., “The Event Calculus Implementation Using ILOG JRules for Security Policy Verification”, pp. 1-4.
Li, et al. “A Logic-based Knowledge Representation for Authorization with Delegation (1999)”, Proceedings of the 12th IEEE Computer Security Foundations Workshop, Date: Jun. 1999, pp. 1-14.
Nikita Borisov, “Active Certificates: A Framework for Delegation”, Date: 2002, pp. 1-32.
Ninghui Li, “Delegation Logic: A Logic-based Approach to Distributed Authorization”, Date: Sep. 2000, pp. 1-116.
Thagard, et al., “Abductive Reasoning: Logic, Visual Thinking, and Coherence”, http://cogsci.uwaterloo.ca/Articles/Pages/%7FAbductive.html.
Turner Christopher, “Constraint Based Reasoning with Constraint Logic Programming and Array Based Logic”, Date: Nov. 1996, pp. 1-37.
Becker Moritz Y.
Mackay Jason F.
Microsoft Corporation
Mofiz Apu M
Rahman Mohammad N
LandOfFree
Abducing assertion to support access query does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Abducing assertion to support access query, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abducing assertion to support access query will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2625846