المؤلفون: González-Burgueño, Antonio, Aparicio, Damián, Escobar, Santiago, Meadows, Catherine, Meseguer, José

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1806.07209

المؤلفون: González-Burgueño, Antonio, Ölveczky, Peter, Csaba

المساهمون: University of Oslo (UiO), Hossein Hojjat, Mieke Massink, TC 2, WG 2.2

المصدر: Lecture Notes in Computer Science ; 8th International Conference on Fundamentals of Software Engineering (FSEN) ; https://inria.hal.science/hal-03769125 ; 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.129-144, ⟨10.1007/978-3-030-31517-7_9⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Tehran, Iran

Relation: hal-03769125; https://inria.hal.science/hal-03769125; https://inria.hal.science/hal-03769125/document; https://inria.hal.science/hal-03769125/file/490001_1_En_9_Chapter.pdf

الاتاحة: https://inria.hal.science/hal-03769125
https://inria.hal.science/hal-03769125/document
https://inria.hal.science/hal-03769125/file/490001_1_En_9_Chapter.pdf
https://doi.org/10.1007/978-3-030-31517-7_9

المؤلفون: González Burgueño, Antonio, Santiago Pinazo, Sonia, Escobar Román, Santiago, Meadows, Catherine, Meseguer, Jose

المساهمون: Springer Lecture Notes in Computer Science, Vol. 8893, Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP), European Regional Development Fund, Ministerio de Economía y Competitividad, Generalitat Valenciana, National Science Foundation, EEUU, Ministerio de Ciencia e Innovación

مصطلحات موضوعية: IBM 4758 common cryptographic architecture, Security Application Programming Interfaces (security APIs), Symbolic cryptographic protocol analysis, Automatic reasoning modulo XOR theory, LENGUAJES Y SISTEMAS INFORMATICOS, Flujo de datos multimedia 11295 / Q - Doble titulación. grado en ingeniería de sistemas de telecomunicación, sonido e imagen y grado en comunicación audiovisual 191, Flujo de datos multimedia 11295 / Q - Grado en ingeniería de sistemas de telecomunicación, sonido e imagen 152

Relation: Security Standardisation Research; Lecture Notes in Computer Science;8893; info:eu-repo/grantAgreement/MICINN//TIN2010-21062-C02-02/ES/SWEETLOGICS-UPV/; info:eu-repo/grantAgreement/NSF//1319109/US/TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude/; info:eu-repo/grantAgreement/MINECO//TIN2013-45732-C4-1-P/ES/UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUCION DE PROBLEMAS/; info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/; 1st International Conference on Research in Security Standardisation (SSR 2014); 2014-12-16; London, UK; https://doi.org/10.1007/978-3-319-14054-4_8; urn:isbn:978-3-319-14054-4; urn:isbn:978-3-319-14053-7; urn:issn:0302-9743; http://hdl.handle.net/10251/65130

الاتاحة: http://hdl.handle.net/10251/65130
https://doi.org/10.1007/978-3-319-14054-4_8

المؤلفون: González Burgueño, Antonio

المساهمون: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica, Escobar Román, Santiago

الاتاحة: http://data.europeana.eu/aggregation/europeana/355/https___hispana_mcu_es_lod_oai_riunet_upv_es_10251____15247_ent0

المؤلفون: González-Burgueño, Antonio, Ölveczky, Peter Csaba

المصدر: Journal of Logical and Algebraic Methods in Programming ; volume 122, page 100685 ; ISSN 2352-2208

الاتاحة: http://dx.doi.org/10.1016/j.jlamp.2021.100685
https://api.elsevier.com/content/article/PII:S2352220821000481?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220821000481?httpAccept=text/plain

المؤلفون: González-Burgueño, Antonio, Santiago, Sonia, Escobar, Santiago, Meadows, Catherine, Meseguer, José

المصدر: Security Standardisation Research ; Lecture Notes in Computer Science ; page 86-106 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319271514 9783319271521

الاتاحة: http://dx.doi.org/10.1007/978-3-319-27152-1_5
http://link.springer.com/content/pdf/10.1007/978-3-319-27152-1_5

المؤلفون: González Burgueño, Antonio

المساهمون: Escobar Román, Santiago, Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat

مصطلحات موضوعية: Maude-NPA, Maude, Protocolos criptográficos de comunicación, Or-exclusivo, Cryptographic communication protocols, Exclusive-or, LENGUAJES Y SISTEMAS INFORMATICOS, Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació

Relation: http://hdl.handle.net/10251/51784

الاتاحة: http://hdl.handle.net/10251/51784

المؤلفون: González Burgueño, Antonio

المصدر: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

مصطلحات موضوعية: Maude, Maude-NPA, Protocolos criptográficos de comunicación, Exclusive-or, Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació, Or-exclusivo, LENGUAJES Y SISTEMAS INFORMATICOS, Cryptographic communication protocols

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8a0b7d970924591f69522246b3a9e5f6
http://hdl.handle.net/10251/51784

المؤلفون: González Burgueño, Antonio

المصدر: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

مصطلحات موضوعية: Ingeniería Informática-Enginyeria Informàtica

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c4d6c00bda6185fefba28e8c3a175141
http://hdl.handle.net/10251/15247

المؤلفون: Escobar Román, Santiago, Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat, González Burgueño, Antonio

مصطلحات الفهرس: Maude-NPA, Maude, Protocolos criptográficos de comunicación, Or-exclusivo, Cryptographic communication protocols, Exclusive-or, LENGUAJES Y SISTEMAS INFORMATICOS, Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació, info:eu-repo/semantics/masterThesis

URL: http://hdl.handle.net/10251/51784

المؤلفون: Springer Lecture Notes in Computer Science, Vol. 8893, Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP), European Regional Development Fund, Ministerio de Economía y Competitividad, Generalitat Valenciana, National Science Foundation, EEUU, Ministerio de Ciencia e Innovación, González Burgueño, Antonio, Santiago Pinazo, Sonia, Escobar Román, Santiago, Meadows, Catherine, Meseguer, Jose

مصطلحات الفهرس: IBM 4758 common cryptographic architecture, Security Application Programming Interfaces (security APIs), Symbolic cryptographic protocol analysis, Automatic reasoning modulo XOR theory, LENGUAJES Y SISTEMAS INFORMATICOS, Flujo de datos multimedia 11295 / Q - Doble titulación. grado en ingeniería de sistemas de telecomunicación, sonido e imagen y grado en comunicación audiovisual 191, Flujo de datos multimedia 11295 / Q - Grado en ingeniería de sistemas de telecomunicación, sonido e imagen 152, info:eu-repo/semantics/bookPart, info:eu-repo/semantics/conferenceObject

URL: http://hdl.handle.net/10251/65130

المؤلفون: Escobar Román, Santiago, Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica, González Burgueño, Antonio

مصطلحات الفهرس: Ingeniería Informática-Enginyeria Informàtica, info:eu-repo/semantics/bachelorThesis

URL: http://hdl.handle.net/10251/15247

المؤلفون: González Burgueño, Antonio

المساهمون: Escobar Román, Santiago, Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica

المصدر: Repositorio Institucional de la Universitat Politècnica de València

مصطلحات موضوعية: hist, geo

Relation: http://hdl.handle.net/10251/15247

الاتاحة: http://hdl.handle.net/10251/15247