| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jorge Lobo |
Interactive Demonstration of a Remote Reconfigurable Logic Laboratory for Basic Digital Design.  |
iJOE  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ian Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo |
Risk-based security decisions under uncertainty. |
CODASPY |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo |
Fine-grained integration of access control policies. |
Computers & Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman |
Policy refinement: Decomposition and operationalization for dynamic domains. |
CNSM |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pedro Trindade, Jorge Lobo |
Distributed Accelerometers for Gesture Recognition and Visualization. |
DoCEIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hang Zhao, Jorge Lobo, Arnab Roy 0003, Steven M. Bellovin |
Policy refinement of network services for MANETs. |
Integrated Network Management |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman |
Refinement of History-Based Policies. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Breu, Jason Crampton, Jorge Lobo (eds.) |
SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings |
SACMAT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo |
EXAM: a comprehensive environment for the analysis of access control policies. |
Int. J. Inf. Sec. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo |
Mining Roles with Multiple Objectives. |
ACM Trans. Inf. Syst. Secur. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qun Ni, Elisa Bertino, Jorge Lobo, Carolyn Brodie, Clare-Marie Karat, John Karat, Alberto Trombetta |
Privacy-aware role-based access control. |
ACM Trans. Inf. Syst. Secur. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandis Beigi, Jorge Lobo, Keith Grueneberg, Seraphin B. Calo, John Karat |
A Negotiation Framework for Negotiation of Coalition Policies. |
POLICY |
2010 |
DBLP DOI BibTeX RDF |
Policy negotiation, extensible, coalition, policy conflicts |
| 1 | Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman |
Decomposition techniques for policy refinement. |
CNSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Molloy, Ninghui Li, Yuan (Alan) Qi, Jorge Lobo, Luke Dickens |
Mining roles with noisy data. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
prediction, approximation, noise, role mining, rbac |
| 1 | Qun Ni, Elisa Bertino, Jorge Lobo |
Risk-based access control systems built on fuzzy inferences. |
ASIACCS |
2010 |
DBLP DOI BibTeX RDF |
access control, risk, fuzzy inference |
| 1 | Qun Ni, Elisa Bertino, Jorge Lobo, Seraphin B. Calo |
Privacy-Aware Role-Based Access Control. |
IEEE Security & Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Bertino, Carolyn Brodie, Seraphin B. Calo, Lorrie Faith Cranor, Clare-Marie Karat, John Karat, Ninghui Li, Dan Lin, Jorge Lobo, Qun Ni, Prathima Rao, Xiping Wang |
Analysis of privacy and security policies. |
IBM Journal of Research and Development |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Karat, Clare-Marie Karat, Elisa Bertino, Ninghui Li, Qun Ni, Carolyn Brodie, Jorge Lobo, Seraphin B. Calo, Lorrie Faith Cranor, Ponnurangam Kumaraguru, Robert W. Reeder |
Policy framework for security and privacy management. |
IBM Journal of Research and Development |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Prathima Rao, Gabriel Ghinita, Elisa Bertino, Jorge Lobo |
Visualization for Access Control Policy Analysis Results Using Multi-level Grids. |
POLICY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Pan, Jorge Lobo, Seraphin B. Calo |
Extending the CIM-SPL policy language with RBAC for distributed management systems in the WBEM infrastructure. |
Integrated Network Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Molloy, Ninghui Li, Tiancheng Li, Ziqing Mao, Qihua Wang, Jorge Lobo |
Evaluating role mining algorithms. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
evaluation, role engineering, role mining, rbac |
| 1 | Ninghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa Bertino, Prathima Rao, Jorge Lobo, Dan Lin |
Access control policy combining: theory meets practice. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
policy combination, xacml |
| 1 | Konstantin Beznosov, Philip Inglesant, Jorge Lobo, Rob Reeder, Mary Ellen Zurko |
Usability meets access control: challenges and research opportunities. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
hcisec, security, hci, access control, usable security |
| 1 | Qun Ni, Jorge Lobo, Seraphin B. Calo, Pankaj Rohatgi, Elisa Bertino |
Automating role-based provisioning by learning from examples. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
classification, access control, role, provisioning |
| 1 | Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo |
An algebra for fine-grained integration of XACML policies. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
policy integration, access control, XACML |
| 1 | Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara |
Expressive policy analysis with enhanced system dynamicity. |
ASIACCS |
2009 |
DBLP DOI BibTeX RDF |
security, authorization, policies, formal analysis |
| 1 | Qun Ni, Elisa Bertino, Jorge Lobo |
D-algebra for composing access control policy decisions. |
ASIACCS |
2009 |
DBLP DOI BibTeX RDF |
many-valued logic, MV-algebras, decision, policy composition |
| 1 | Jorge Lobo, Vasileios Pappas |
C2: The Case for a Network Configuration Checking Language. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
configuration errors, validation, network management |
| 1 | Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo |
EXAM: An Environment for Access Control Policy Analysis and Management. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
XACML, Policy Analysis |
| 1 | Hang Zhao, Jorge Lobo, Steven M. Bellovin |
An Algebra for Integration and Analysis of Ponder2 Policies. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn Brodie, David George, Clare-Marie Karat, John Karat, Jorge Lobo, Mandis Beigi, Xiping Wang, Seraphin B. Calo, Dinesh C. Verma, Alberto E. Schaeffer Filho, Emil Lupu, Morris Sloman |
The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
policy deployment, portal, demonstration, policy analysis, policy verification, policy authoring |
| 1 | Michael Gelfond, Jorge Lobo |
Authorization and Obligation Policies in Dynamic Systems. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Lin, Prathima Rao, Elisa Bertino, Ninghui Li, Jorge Lobo |
Policy decomposition for collaborative access control. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
collaborative access control, policy decomposition |
| 1 | Qun Ni, Elisa Bertino, Jorge Lobo |
An obligation model bridging access control policies and privacy policies. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
privacy, role based access control, policy, obligation |
| 1 | Ian Molloy, Hong Chen, Tiancheng Li, Qihua Wang, Ninghui Li, Elisa Bertino, Seraphin B. Calo, Jorge Lobo |
Mining roles with semantic meanings. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
RBAC, role engineering, role mining |
| 1 | Alberto E. Schaeffer Filho, Emil Lupu, Morris Sloman, Sye Loong Keoh, Jorge Lobo, Seraphin B. Calo |
A Role-Based Infrastructure for the Management of Dynamic Communities. |
AIMS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dakshi Agrawal, Seraphin B. Calo, Kang-Won Lee, Jorge Lobo |
Issues in Designing a Policy Language for Distributed Management of IT Infrastructures. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo |
Policy-Based Computing: From Systems and Applications to Theory. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qihua Wang, Ting Yu, Ninghui Li, Jorge Lobo, Elisa Bertino, Keith Irwin, Ji-Won Byun |
On the Correctness Criteria of Fine-Grained Access Control in Relational Databases. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo |
An approach to evaluate policy similarity. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
XACML policies, policy similarity measure, access control policies |
| 1 | Qun Ni, Alberto Trombetta, Elisa Bertino, Jorge Lobo |
Privacy-aware role based access control. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
model, privacy, role based access control, purpose |
| 1 | Qun Ni, Dan Lin, Elisa Bertino, Jorge Lobo |
Conditional Privacy-Aware Role Based Access Control. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Seraphin B. Calo, Jorge Lobo |
A Basis for Comparing Characteristics of Policy Systems. |
POLICY |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dakshi Agrawal, James Giles, Kang-Won Lee, Jorge Lobo |
Policy Ratification. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Gisela Mendez, Stuart R. Taylor |
Knowledge And The Action Description Language A |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jan Chomicki, Jorge Lobo, Shamim A. Naqvi |
Conflict Resolution Using Logic Programming. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
action constraint, Policy, event, conflict resolution, action, active rules |
| 1 | Madhur Kohli, Jorge Lobo |
Realizing network Control Policies using Distributed Action Plans. |
J. Network Syst. Manage. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Goce Trajcevski, Chitta Baral, Jorge Lobo |
Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. |
Int. J. Cooperative Inf. Syst. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jorge Lobo, Gisela Mendez, Stuart R. Taylor |
Knowledge and the Action Description Language A. |
TPLP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Morris Sloman, Jorge Lobo, Emil Lupu (eds.) |
Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings |
|
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan Chomicki, Jorge Lobo |
Monitors for History-Based Policies. |
POLICY |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Jorge Lobo |
Reasoning about Policies using Logic Programs. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Aashu Virmani, Jorge Lobo, Madhur Kohli |
Netmon: network management for the SARAS softswitch. |
NOMS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhur Kohli, Jorge Lobo |
Distributed action plans in an agent based network management system. |
Agents |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Randeep Bhatia, Jorge Lobo, Madhur Kohli |
Policy Evaluation for Network Management. |
INFOCOM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan Chomicki, Jorge Lobo, Shamim A. Naqvi |
A Logic Programming Approach to Conflict Resolution in Policy Management. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Goce Trajcevski, Chitta Baral, Jorge Lobo |
Formalizing (and Reasoning About) the Specifications of Workflows. |
CoopIS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Jorge Lobo |
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. |
Ann. Math. Artif. Intell. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Randeep Bhatia, Madhur Kohli, Jorge Lobo, Aashu Virmani |
A Policy-based Network Management System. |
IC-AI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jorge Lobo, Randeep Bhatia, Shamim A. Naqvi |
A Policy Description Language. |
AAAI/IAAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jorge Lobo, Goce Trajcevski |
Minimal and Consistent Evolution of Knowledge Bases. |
Journal of Applied Non-Classical Logics |
1997 |
DBLP BibTeX RDF |
|
| 1 | Terry Gaasterland, Jorge Lobo |
Qualifying Answers According to User Needs and Preferences. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Carlos Uzcátegui |
Abductive Consequence Relations. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Jorge Lobo |
Defeasible Specifications in Action Theories. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Jorge Lobo |
From Action Theories to Updates, Transactions, Triggers and Agents - A Tutorial. |
DOOD |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Jorge Lobo, Goce Trajcevski |
Formal Characterizations of Active Databases: Part II. |
DOOD |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Gisela Mendez, Stuart R. Taylor |
Adding Knowledge to the Action Description Language A. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | John Jeffrey, Jorge Lobo, Tadao Murata |
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Louiqa Raschid, Jorge Lobo |
Semantics for Update Rule Programs and Implementations in a Relational Database Management System. |
ACM Trans. Database Syst. |
1996 |
DBLP DOI BibTeX RDF |
constant maintenance, deductive database, rule-based systems, fixpoint semantics, update rules, stable model semantics |
| 1 | Jorge Lobo, Carlos Uzcátegui |
Abductive Change Operators. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengjie Luo, Clement T. Yu, Jorge Lobo, Gaoming Wang, Tracy Pham |
Computation of Best Bounds of Probabilities from Uncertain Data. |
Computational Intelligence |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Jorge Lobo |
Formal Characterization of Active Databases. |
Logic in Databases |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Goce Trajcevski, Jorge Lobo, Naveen Grover |
Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. |
ICTAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Teruhiro Shimura, Jorge Lobo, Tadao Murata |
An Extended Petri Net Model for Normal Logic Programs. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Qi Yang, Clement T. Yu |
Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Robles, Jorge Lobo, Terry Gaasterland |
An Experimental Distributed Deductive Database System. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Louiqa Raschid, Jorge Lobo |
A Semantics for a Class of Non-Deterministic and Causal Production System Programs. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica D. Barback, Jorge Lobo |
A Resolution-based Procedure for Default Theories with Extensions. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Terry Gaasterland, Jorge Lobo |
Qualified Answers That Reflect User Needs and Preferences. |
VLDB |
1994 |
DBLP BibTeX RDF |
|
| 1 | Terry Gaasterland, Natalia Maltsev, Jorge Lobo, Guo-Hua Chen |
Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs. |
ISMB |
1994 |
DBLP BibTeX RDF |
|
| 1 | John Grant, John F. Horty, Jorge Lobo, Jack Minker |
View Updates in Stratified Disjunctive Databases. |
J. Autom. Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Terry Gaasterland, Jorge Lobo |
Processing Negation and Disjunction in Logic Programs Through Integrity Constraints. |
J. Intell. Inf. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian |
Disjunctive LP + Integrity Constraints = Stable Model Semantics. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Terry Gaasterland, Jorge Lobo |
Using Semantic Information for Processing Negation and Disjunction in Logic Programs. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica D. Barback, Jorge Lobo |
A Proof Procedure for Default Theories with Extensions. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jorge Lobo, V. S. Subrahmanian |
Relating Minimal Models and Pre-Requisite-Free Normal Defaults. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Jorge Lobo, Jack Minker |
Generalized Disjunctive Well-Founded Semantics for Logic Programs. |
Ann. Math. Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Jack Minker, Arcot Rajasekar |
Foundations of disjunctive logic programming. |
|
1992 |
RDF |
|
| 1 | Monica D. Barback, Jorge Lobo, James J. Lu |
Minimizing Indefinite Information in Disjunctive Deductive Databases. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Teruhiro Shimura, Jorge Lobo, Tadao Murata |
A Petri Net Semantics for Logic Programs with Negation. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Arcot Rajasekar, Jack Minker |
Semantics of Horn and Disjunctive Logic Programs. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Jorge Lobo, Jack Minker |
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Minker, Arcot Rajasekar, Jorge Lobo |
Theory of Disjunctive Logic Programs. |
Computational Logic - Essays in Honor of Alan Robinson |
1991 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Jorge Lobo, Jack Minker |
Generalized Well-founded Semantics for Logic Programs (Extended Abstract). |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo |
On Constructive Negation for Disjunctive Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Arcot Rajasekar, Jorge Lobo, Jack Minker |
Weak Generalized Closed World Assumption. |
J. Autom. Reasoning |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo, Jack Minker, Arcot Rajasekar |
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Arcot Rajasekar, Jorge Lobo, Jack Minker |
Skeptical Reasoning and Disjunctive Programs. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jorge Lobo, Jack Minker |
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. |
Expert Database Conf. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jorge Lobo, Jack Minker, Arcot Rajasekar |
Weak Completion Theory for Non-Horn Programs. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")