Piero A. Bonatti and Pierangela Samarati Dipartimento di Tecnologie...  Home/Search
Context Related
| seclab.dti.unimi.it/...logicchapter.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dti.unimi.it/~sama...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: andard syntax we still nd logic and all of its advantages. While an informal de nition of security can be straightforwardly given as \protecting information and resources from unauthorized or improper use, and from being damaged", a precise speci cation is a subtle and dicult matter. At least the following issues should be addressed: { What is to be protected and from whom/what? and, more importantly, what does it mean to be protected? This is one of the most delicate aspects. The above... (Update)
Cited by: More
Driving and Monitoring Provisional Trust Negotiation with.. - Bonatti, Olmedilla (2005) (Correct)
Access Control in Virtual Communities - Prohibition Permission.. (Correct)
Active bibliography (related documents): More All
1.0: Unknown - (Correct)
0.5: A Component-based Architecture for Secure Data Publication - Piero Bonatti Ernesto (2001) (Correct)
0.5: Controlled Query Evaluation for Known Policies by Combining.. - Biskup, Bonatti (2001) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Design of a role-based trust management framework - Li, Mitchell et al.
2: Distributed credential chain discovery in trust management - Li, Winsborough et al. - 2001
2: Reasoning and Declarative Problem Solving (context) - Baral - 2002
BibTeX entry: (Update)
P. Bonatti and P. Samarati. Logics for authorizations and security. In J. Chomicki, R. van der Meyden, and G. Saake, editors, Logics for Emerging Applications of Databases. Springer Verlag, 2003. http://citeseer.ist.psu.edu/759972.html More
@misc{ bonatti03logics,
author = "P. Bonatti and P. Samarati",
title = "Logics for authorizations and security",
text = "P. Bonatti and P. Samarati. Logics for authorizations and security. In
J. Chomicki, R. van der Meyden, and G. Saake, editors, Logics for Emerging
Applications of Databases. Springer Verlag, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/759972.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 DBLP
850 A logic for default reasoning (context) - Reiter - 1980 ACM DBLP
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
311 Semantical considerations on non-monotonic logic (context) - Moore - 1985
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. DBLP
222 Maintaining views incrementally (context) - Gupta, Mumick et al. - 1993 ACM DBLP
184 Automated Analysis of Cryptographic Protocols Using Mur - Mitchell, Mitchell et al. - 1997
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993 ACM DBLP
134 The NRL Protocol Analyzer: An Overview - Meadows - 1996 DBLP
127 REFEREE: trust management for Web applications - Chu, Feigenbaum et al. - 1997 DBLP
124 Protection in operating systems (context) - Harrison, Ruzzo et al. - 1976
98 Knowledge representation: logical (context) - Sowa - 2000
93 The Chinese Wall security policy (context) - Brewer, Nash - 1989
85 Formal models for computer security (context) - Landwehr - 1981 ACM DBLP
84 The role of trust management in distributed systems security - Blaze, Feigenbaum et al. - 1998
77 Unwinding and inference control (context) - Goguen, Meseguer - 1984 DBLP
75 Towards a Completeness Result for Model Checking of Security.. - Lowe - 1999 ACM DBLP
70 A Data Mining Framework for Building Intrusion Detection Mod.. - Lee, Stolfo et al. - 1999 DBLP
68 al stable models, stable models and nondeterminism in logic .. - Sacc, Zaniolo - 1990
64 A deductive system for nonmonotonic reasoning - Eiter, Leone et al. - 1997
57 Proof-Carrying Authentication - Appel, Felten - 1999 ACM DBLP
55 Regulating Service Access and Information Release on the Web (context) - Bonatti, Samarati - 2000
52 Security models - McLean - 1994
52 The typed access matrix model - Sandhu - 1992
49 On SDSI's Linked Local Name Spaces - Abadi - 1998 ACM DBLP
41 Inside Java 2 platform security (context) - Gong - 1999
39 Authorizations in distributed systems: A new approach - Woo, Lam - 1993
39 A logical view of secure dependencies (context) - Bieber, Cuppens - 1992
39 Detecting Computer and Network Misuse Through the Production.. - Lindqvist, Porras - 1999
38 A logic-based knowledge representation for authorization wit.. - Li, Feigenbaum et al. - 1999 ACM DBLP
33 Analyzing security protocols with secrecy types and logic pr.. - Abadi, Blanchet - 2002 ACM DBLP
32 A Policy Description Language - Lobo, Bhatia et al. - 1999 ACM DBLP
31 Interoperable Strategies in Automated trust Negotiation - Yu, Winslett et al. - 2001 ACM DBLP
31 Role-based Access Control - Sandhu - 1998 ACM
31 Smodels - an implementation of the stable model and well-fou.. (context) - Niemel, Simons - 1997 ACM DBLP
21 Using Digital Credentials on the World-Wide Web - Winslett, Ching et al. - 1997
21 TRBAC: A temporal role-based access control model (context) - Bertino, Bonatti et al. - 2001 DBLP
21 Internet Credential Acceptance Policies - Seamons, Winsborough et al. - 1997
21 A logical approach to multilevel security of probabilistic s.. - Gray, Syverson - 1998 ACM DBLP
21 Data Mining and Knowledge Discovery (context) - Fawcett, Provost et al. - 1997 ACM
20 A logic for reasoning about security (context) - Glasgow, MacEwen et al. - 1992 ACM DBLP
20 A Mechanism for Establishing Policies for Electronic Commerc.. - Minsky, Ungureanu - 1998 ACM DBLP
20 The XSB programmer's manual (context) - Sagonas, Swift et al. - 2000
19 Computational issues in secure interoperation - Gong, Qian - 1996 ACM DBLP
18 A Logic for SDSI's Linked Local Name Spaces - Halpern, van der Meyden - 2001 ACM DBLP
15 An access control model supporting periodicity constraints a.. - Bertino, Bettini et al. - 1998 ACM DBLP
14 An Algebra for Composing Access Control Policies - Bonatti, Di Vimercati et al. - 2002 ACM DBLP
13 A Formal Semantics for SPKI - Howell, Kotz - 2000
13 De Capitani di Vimercati (context) - Samarati - 2001
13 An Authentication Logic Supporting Synchronization - Stubblebine, Wright - 1996
12 Specifying a security policy: a case study - Cuppens, Saurel - 1996 DBLP
11 Monotonic Protection Systems (context) - Harrison, Ruzzo et al. - 1978
10 A logical framework for reasoning on data access control pol.. - Bertino, Buccafurri et al. - 1999 ACM DBLP
10 Secure Computer Systems: A Mathematical Model (context) - Bell, LaPadula - 1996
9 A logical analysis of authorized and prohibited information .. (context) - Cuppens - 1993
8 Answering queries without revealing secrets (context) - Sicherman, de Jonge et al. - 1983
8 Merging heterogeneous security orderings - Bonatti, Sapino et al. - 1997 ACM DBLP
8 Communication Agreement Framework AccesAction Control (context) - Communication, for et al. - 1996
7 Credentials for Privacy and Interoperation (context) - Jones, Ching et al. - 1995 ACM
7 Ecient maintenance of materialized mediated views (context) - Lu, Moerkotte et al. - 1995
6 A software development environment for law-governed systems (context) - Minsky, Rozenshtein - 1988 ACM DBLP
6 Ordered logic programming with sets (context) - Leone, Rullo - 1993 DBLP
6 Applications of circumscription in formalizing common sense .. (context) - McCarthy - 1986
5 An Access Control System for Data Archives (context) - Bonatti, Damiani et al. - 2001
5 Providing security and interoperation of heterogeneous syste.. - Dawson, Qian et al. - 2000 DBLP
5 Lying versus refusal for known potential secrets (context) - Biskup, Bonatti - 2001 ACM DBLP
4 For unknown secrecies refusal is better than lying (context) - Biskup - 2000 ACM DBLP
3 Polynomial-Time Computable Stable Models - Palopoli, Zaniolo - 1996 DBLP
3 Flexible supporting for multiple access control policies (context) - Jajodia, Samarati et al. - 2001
3 Undecidability of Safety for the Schematic Protection Model .. - Sandhu - 1992
3 Access Control and Intrusion Detection (context) - Sandhu, Samarati - 1997
3 A Model Checker for Value-Passing Mu-Calculus Using Logic Pr.. - Ramakrishnan - 2001
3 Certi cate Chain Discovery SPKISDSI (context) - Ellison, Rivest et al. - 2001
2 Verifying security protocols as planning in logic programmin.. (context) - Aiello, Massacci - 2001 ACM DBLP
1 Foundations of secure deductive databases - Bonatti, Kraus et al. - 1995
1 Reasoning with open logic programs (context) - Bonatti - 2001 ACM DBLP
1 Distributed Credential Chaim Discovery in Trust Managament (context) - Li, Winsborough et al. - 2001
1 of the 13th IEEE Computer Security Foundations Workshop (context) - Li, in et al. - 2000
1 the International Workshop on Nonmonotonic Reasoning (context) - Bonatti, ASP et al. - 2002
1 A Logic Programming Approach to Con ict Resolution in Policy.. (context) - Chomicki, Lobo et al. - 2000
1 Temporal authorization bases: from speci cation to integrati.. (context) - Bertino, Bonatti et al. - 2000
1 Merging Security Policies: Analysis of a Practical Example - Cuppens, Cholvy et al. - 1998 DBLP
http://www.cs.umd.edu/projects/hermes/publications/abstracts/hermes.html
Documents on the same site (http://www.dti.unimi.it/~samarati/publications.html): More
Key Management for Multi-User Encrypted Databases - Ernesto Damiani Damiani (2005) (Correct)
Providing Security and Interoperation of Heterogeneous Systems - Dawson, Qian, al. (1998) (Correct)
Towards Privacy-Enhanced Authorization Policies and.. - Ardagna, Damiani, di.. (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC