The formal specification and implementation of a trusted third party protocol for license management | lit.salon