Crossmark

Formal Methods and Access Control

Crossref DOI link: https://doi.org/10.1007/978-3-642-27739-9_854-2

Published Online: 2024-05-12

Published Print: 2024

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ranise, Silvio
License Information

Text and Data Mining valid from 2024-01-01

Version of Record valid from 2024-01-01
More Information

Chapter History

Received: 17 March 2024, 00:00:00

Accepted: 18 March 2024, 00:00:00

First Online: 12 May 2024