TY - RPRT TI - A Calculus for Modeling Floating Authorizations AU - Jovanka Pantovic AU - Ivan Prokic AU - Hugo Torres Vieira PY - 2018 UR - https://arxiv.org/abs/1802.05863 ID - 1802.05863 ER -