Title: The formal specification and implementation of a trusted third party protocol for license management