Distributed Authorization with Distributed Grammars
From MaRDI portal
Publication:3460860
DOI10.1007/978-3-319-25527-9_3zbMath1434.68044MaRDI QIDQ3460860
Martín Abadi, Himabindu Pucha, Ankur Taly, Mike Burrows, Adam Sadovsky, Asim Shankar
Publication date: 8 January 2016
Published in: Programming Languages with Applications to Biology and Security (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-25527-9_3
68Q45: Formal languages and automata
68Q42: Grammars and rewriting systems
68M14: Distributed systems
68P27: Privacy of data