A Web-Based Application to Verify Open Mobile Alliance Device Management Specifications | IEEE Conference Publication | IEEE Xplore