Back
  1. Home
  3. Detailed Reference
Download
Paper published on a website (Scientific congresses, symposiums and conference proceedings)
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
CAPOZUCCA, Alfredo; Cristiá, Maximiliano; Horne, Ross et al.
2024 • 37th IEEE Computer Security Foundations Symposium (CSF) 2024
Peer reviewed Dataset
Permalink
https://hdl.handle.net/10993/61340
DOI
10.48550/arXiv.2405.12187
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
2405.12187v2.pdf
Author preprint (292.78 kB) Creative Commons License - Public Domain Dedication
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Keywords :
security policies, information flow, confidentiality, revocation, set theory, automated verification
Disciplines :
Computer science
Author, co-author :
CAPOZUCCA, Alfredo  ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Cristiá, Maximiliano
Horne, Ross
Katz, Ricardo
External co-authors :
yes
Language :
English
Title :
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
Publication date :
20 May 2024
Event name :
37th IEEE Computer Security Foundations Symposium (CSF) 2024
Event organizer :
IEEE
Event place :
Enschede, Netherlands
Event date :
July 8-12, 2024
Audience :
International
Peer reviewed :
Peer reviewed
Source :
arxiv
Focus Area :
Computational Sciences
Development Goals :
9. Industry, innovation and infrastructure
Data Set :
https://zenodo.org/records/11191778
Available on ORBilu :
since 10 June 2024

Statistics

Number of views
271 (23 by Unilu)
Number of downloads
36 (1 by Unilu)
More statistics
OpenCitations
 
0
OpenAlex citations
 
0

Bibliography

Similar publications


Contact ORBilu