Specifying and Verifying Meta-Security by Means of Semantic Web Methods | Publicación