Joaquín Borrego-Díaz, Antonia M. Chávez-González, José Luis Pro-Martín, Virginia Matos-Arana. Specifying and Verifying Meta-Security by Means of Semantic Web Methods. In José Gaviria de la Puerta, Iván García-Ferreira, Pablo Garcia Bringas, Fanny Klett, Ajith Abraham, André C. P. L. F. de Carvalho, Álvaro Herrero, Bruno Baruque, Héctor Quintián, Emilio Corchado, editors, International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 - Bilbao, Spain, June 25th-27th, 2014, Proceedings. Volume 299 of Advances in Intelligent Systems and Computing, pages 355-365, Springer, 2014. [doi]
Abstract is missing.