Information security – Access control or authentication
Reexamination Certificate
2006-10-10
2010-12-14
Abrishamkar, Kaveh (Department: 2431)
Information security
Access control or authentication
C726S001000, C726S009000, C726S020000
Reexamination Certificate
active
07853987
ABSTRACT:
An automaton capable of providing an access control decision upon receiving an access control request is produced by processing context based access control policies specified in a formal descriptive language, and by converting the context based access control policies to the automaton.
REFERENCES:
patent: 5301100 (1994-04-01), Wagner
patent: 5563805 (1996-10-01), Arbuckle et al.
patent: 5817993 (1998-10-01), Kamani et al.
patent: 5875432 (1999-02-01), Sehr
patent: 6119183 (2000-09-01), Briel et al.
patent: 6647388 (2003-11-01), Numao et al.
patent: 7047328 (2006-05-01), Rosner et al.
patent: 7055136 (2006-05-01), Dzoba et al.
patent: 7982044 (2006-07-01), Gould et al.
patent: 7127550 (2006-10-01), Lin
patent: 7212426 (2007-05-01), Park et al
patent: 7376839 (2008-05-01), Carta et al.
patent: 2001/0000814 (2001-05-01), Montgomery et al.
patent: 2002/0013934 (2002-01-01), Xie et al.
patent: 2002/0023232 (2002-02-01), Serani
patent: 2002/0178003 (2002-11-01), Gehrke
patent: 2003/0023874 (2003-01-01), Prokupets et al.
patent: 2003/0051155 (2003-03-01), Martin
patent: 2003/0066021 (2003-04-01), Reggiani et al.
patent: 2003/0106062 (2003-06-01), Shteyn et al.
patent: 2004/0088587 (2004-05-01), Ramaswamy et al.
patent: 2004/0193607 (2004-09-01), Kudo et al.
patent: 2004/0250112 (2004-12-01), Valente et al.
patent: 2005/0050482 (2005-03-01), Keller et al.
patent: 2005/0051620 (2005-03-01), Diluoffo et al.
patent: 2005/0052275 (2005-03-01), Houle
patent: 2005/0080838 (2005-04-01), Colby et al.
patent: 2005/0114655 (2005-05-01), Miller et al.
patent: 2005/0114657 (2005-05-01), Kumar et al.
patent: 2005/0125674 (2005-06-01), Nishiki et al.
patent: 2005/0171982 (2005-08-01), Deo et al.
patent: 2005/0171983 (2005-08-01), Deo et al.
patent: 2005/0177658 (2005-08-01), Perrnot
patent: 2005/0181875 (2005-08-01), Hoehne
patent: 2005/0278669 (2005-12-01), Sidle et al.
patent: 2005/0289651 (2005-12-01), Fages et al.
patent: 2006/0032905 (2006-02-01), Bear et al.
patent: 2006/0116970 (2006-06-01), Scherzer et al.
patent: 2007/0124519 (2007-05-01), Lin
patent: 2008/0004904 (2008-01-01), Tran
patent: 2008/0005788 (2008-01-01), Ramaswamy et al.
patent: 0886 246 (1998-12-01), None
patent: 0886 246 (1998-12-01), None
patent: 1 811 464 (2007-07-01), None
patent: WO 01/16759 (2001-03-01), None
W. Thomas, “Languages, Automata, and Logic”, Handbook of Formal Languages, G. Rozenberg and A. Salomann, editors, vol. III, Springer, New York, May 1996, 75 pp.
Dougherty et al., “Specifying and reasoning about dynamic access-control policies”,Third International Joint Conference, IJCAR 2006, Department of Computer Science, WPI, 15pp.
S.C. Johnson, “Yacc: Yet Another Compiler-Compiler”, Technical Report, Murray Hill, Jul. 31, 1978, 33 pp.
S. Jajodia et al., “Flexible Support for Multiple Access Control Policies”, ACM Transactions on Database Systems, vol. 26, No. 2, Jun. 2001, pp. 214-260.
E. Bertino et al., “An Access Control Model Supporting Periodicity Constraints and Temporal Reasoning”, ACM Transactions on Database Systems, vol. 23, No. 3, Sep. 1998, pp. 2.
M. Abadi et al., “A Calculus for Access Control in Distributed Systems”, ACM Transactions on Programming Languages and Systems, vol. 15, No. 3, Sep. 1993, pp. 706-734.
J. Glasgow, “A Logic for Reasoning About Security”, ACM Transactions on Computer Systems, vol. 10, No. 3, Aug. 1992, pp. 226-264.
Charles Donnelly et al., “Bison The YACC-compatible Parser Generator (Reference Manual)”, Free Software Foundation, Nov. 1995, Bison Version 1.25.
D. Kozen, “Automata and Computability,” Springer-Verlag, 1997, pp. 14-127, chapter titled “Finite Automata and Regular Sets”.
A. V. Aho et al., “Compilers Principles, Techniques and Tools”, Addison-Wesley, 1986, pp. 25-278, chapters 2, 3 and 4.
Nils Klarlund et al., “MONA Version 1.4 User Manual”, BRICS, Basic Research in Computer Science, Jan. 2001, 83 pp.
Jesper G. Henriksen et al., “MONA: Monadic Second-Order Logic in Practice”, BRICS, Basic Research in Computer Science, RS-95-21, May 1995, 20 pp.
Anders B. Sandholm et al., “Distributed Safety Controllers for Web Services”, BRICS, Basic Research in Computer Science, RS-97-47, Dec. 1997, 15 pp.
Jean-Francis Michon et al., “Automata and Binary Decision Diagrams”, Automata Implementation Lecture Notes in Computer Science, Springer-Berlin Heidelberg 1999, vol. 1660.
W. Rank et al., Smart Card Handbook, 3rd ed. Jan. 1, 2003, J Wiley & Sons Ltd, pp. 165-169, retrieved from Internet Jan. 15, 2008.
“Smart Cards” by Cornerstone Lab, from www.c-Iab.com/smartCard.html, posted on the internet on Jan. 25, 2005.
“Internet Archive Wayback Machine” shows Jan. 25, 2005 posting of “Smart Cards” by Cornerstone Lab.
Enrique Ortiz, “An Introduction to Java Card Technology—Part 1”, May 29, 2003.
Ronald M. Kaplan, “Finite State Technology”, Xerox Palo Alto Research Center, posted on the internet Sep. 9, 1999.
Wayback Machine Search showing “Finite State Technology” posting from Sep. 9, 1999.
Oliveira et al., “Exact Minimization of Binary Decision Diagrams Using Implicit Techniques”, IEEE Transactions on Computers, vol. 47, No. 11, Nov. 1998.
An Introduction to Role-Based Access Control, NIST/ITL Bullentin, Dec. 1995, 6 pgs.
Kenneth Short, “Embedded Microprocessor Systems Design: An Introduction Using the Intel 80C188EB”, copyright 1998.
Helleseth et al., “Security of Jump Controlled Sequence Generators for Stream Ciphers”, SETA 2006, LNCS 4086, pp. 141-152, Sep. 21, 2006.
Sheldon Akers, “Binary Decision Diagrams”, IEEE Transactions on Computers, vol. C-27, No. 6, Jun. 1978.
Balasubramanian Meenakshi
Chaturvedi Namit
Chowdhury Atish Datta
Ganesh Arul
Abrishamkar Kaveh
Doan Trang
Honeywell International , Inc.
Schiff & Hardin LLP
LandOfFree
Policy language and state machine model for dynamic... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Policy language and state machine model for dynamic..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Policy language and state machine model for dynamic... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4176876