A constructive conditional logic for access control: A preliminary report

Valerio Genovese; Laura Giordano; Valentina Gliozzi; Gian Luca Pozzato

doi:10.3233/978-1-60750-606-5-1073

A constructive conditional logic for access control: A preliminary report

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Department of Science and Technological Innovation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We define an Intuitionistic Conditional Logic for Access Control called C_ICL. The logic C_ICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic C_ICL, and we prove that the axiomatization is sound and complete with respect to the semantics.

Original language	English
Title of host publication	ECAI 2010
Publisher	IOS Press
Pages	1073-1074
Number of pages	2
ISBN (Print)	9781607506058
DOIs	https://doi.org/10.3233/978-1-60750-606-5-1073
Publication status	Published - 2010
Event	2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 - Lisbon, Portugal Duration: 17 Aug 2010 → 17 Aug 2010

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	215
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010
Country/Territory	Portugal
City	Lisbon
Period	17/08/10 → 17/08/10

Access to Document

10.3233/978-1-60750-606-5-1073

Cite this

@inproceedings{9759cc36b6b642a3ba162bb3a076ba3c,

title = "A constructive conditional logic for access control: A preliminary report",

abstract = "We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics.",

author = "Valerio Genovese and Laura Giordano and Valentina Gliozzi and Pozzato, {Gian Luca}",

year = "2010",

doi = "10.3233/978-1-60750-606-5-1073",

language = "English",

isbn = "9781607506058",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "1073--1074",

booktitle = "ECAI 2010",

address = "United States",

note = "2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 ; Conference date: 17-08-2010 Through 17-08-2010",

}

Genovese, V, Giordano, L, Gliozzi, V & Pozzato, GL 2010, A constructive conditional logic for access control: A preliminary report. in ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol. 215, IOS Press, pp. 1073-1074, 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010, Lisbon, Portugal, 17/08/10. https://doi.org/10.3233/978-1-60750-606-5-1073

TY - GEN

T1 - A constructive conditional logic for access control

T2 - 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010

AU - Genovese, Valerio

AU - Giordano, Laura

AU - Gliozzi, Valentina

AU - Pozzato, Gian Luca

PY - 2010

Y1 - 2010

N2 - We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics.

AB - We define an Intuitionistic Conditional Logic for Access Control called CICL. The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL, and we prove that the axiomatization is sound and complete with respect to the semantics.

UR - http://www.scopus.com/inward/record.url?scp=77956037517&partnerID=8YFLogxK

U2 - 10.3233/978-1-60750-606-5-1073

DO - 10.3233/978-1-60750-606-5-1073

M3 - Conference contribution

AN - SCOPUS:77956037517

SN - 9781607506058

T3 - Frontiers in Artificial Intelligence and Applications

SP - 1073

EP - 1074

BT - ECAI 2010

PB - IOS Press

Y2 - 17 August 2010 through 17 August 2010

ER -

A constructive conditional logic for access control: A preliminary report

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this