Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation 
and Abduction

Genovese, Valerio; Garg, Deepak; Rispoli, Daniele

doi:10.1109/CSF.2012.11

Local TagsRelease HistoryDetailsSummary

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction

Genovese, V., Garg, D., & Rispoli, D. (2012). Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. In 2012 IEEE 25th Computer Security Foundations Symposium (pp. 139-153). Piscataway, NJ: IEEE.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8AAC-F Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8AAD-D

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Genovese, Valerio, Author
Garg, Deepak¹, Author
Rispoli, Daniele, Author

Affiliations:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2012

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 629505
DOI: 10.1109/CSF.2012.11

Degree: -

Event

show

hide

Title: CSF'12

Place of Event: Cambridge, Mass.

Start-/End Date: 2012-06-25 - 2012-06-27

Legal Case

show

Project information

show

Source 1

show

hide

Title: 2012 IEEE 25th Computer Security Foundations Symposium

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Piscataway, NJ : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 139 - 153 Identifier: ISSN: 1940-1434
ISBN: 978-0-7695-4718-3