An Ontology-Based Framework to Model a GlobalPlatform Secure Element | IEEE Conference Publication | IEEE Xplore