Designing verifying secure protocols of the digital marketplace

摘要

The mobile VCE's digital marketplace (DMP) is a system, which allows very short term trading of radio resources. It uses autonomous agents to request and negotiate the provision of communications services in a dynamic and competitive manner. While showing great promise, many security concerns involving the adoption of the DMP infrastructure by the future mobile communications industry remain unresolved. This paper examines the cryptographic protocol that plays an essential influencing role in creating a secure service negotiation platform.