Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Glenn Bruns
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis