{rfName}
Ab

Indexado en

Licencia y uso

Icono OpenAccess

Citaciones

10

Altmetrics

Investigadores/as Institucionales

Puebla, GermanAutor o CoautorHermenegildo, ManuelAutor o Coautor

Compartir

9 de junio de 2019
Publicaciones
>
Artículo
Green

Abstraction-carrying code: a model for mobile code safety

Publicado en: NEW GENERATION COMPUTING. 26 (2): 171-204 - 2008-02-01 26(2), DOI: 10.1007/s00354-008-0039-7

Autores:

Albert, Elvira; Puebla, German; Hermenegildo, Manuel
[+]

Afiliaciones

Tech Univ Madrid, UPM, E-28660 Madrid, Spain - Autor o Coautor
Univ Complutense Madrid, DSIC, E-28040 Madrid, Spain - Autor o Coautor
Univ New Mexico, CS EECE Depts, Albuquerque, NM 87131 USA - Autor o Coautor
Ver más

Resumen

Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The intended benefit is that the program consumer can locally validate the certificate w.r.t. the untrusted program by means of a certificate checker-a process which should be much simpler, efficient, and automatic than generating the original proof. The practical uptake of PCC greatly depends on the existence of a variety of enabling technologies which allow both proving programs correct and replacing a costly verification process by an efficient checking procedure on the consumer side. In this work we propose Abstraction-Carrying Code (ACC), a novel approach which uses abstract interpretation as enabling technology. We argue that the large body of applications of abstract interpretation to program verification is amenable to the overall PCC scheme. In particular, we rely on an expressive class of safety policies which can be defined over different abstract domains. We use an abstraction (or abstract model) of the program computed by standard static analyzers as a certificate. The validity of the abstraction on the consumer side is checked in a single pass by a very efficient and specialized abstract-interpreter. We believe that ACC brings the expressiveness, flexibility and automation which is inherent in abstract interpretation techniques to the area of mobile code safety.
[+]

Palabras clave

Abstract interpretationConstraint logic programsInferenceLanguageLogic programmingMobile code safetyProgram verificationStatic analysisVerification

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista NEW GENERATION COMPUTING, y aunque la revista se encuentra clasificada en el cuartil Q4 (Agencia WoS (JCR)), su enfoque regional y su especialización en Computer Science, Theory & Methods, le otorgan un reconocimiento lo suficientemente significativo en un nicho concreto del conocimiento científico a nivel internacional.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-25:

  • WoS: 6
  • Scopus: 4
[+]

Impacto y visibilidad social

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2026-04-25:

  • La utilización de esta aportación en marcadores, bifurcaciones de código, añadidos a listas de favoritos para una lectura recurrente, así como visualizaciones generales, indica que alguien está usando la publicación como base de su trabajo actual. Esto puede ser un indicador destacado de futuras citas más formales y académicas. Tal afirmación es avalada por el resultado del indicador “Capture” que arroja un total de: 8 (PlumX).

Es fundamental presentar evidencias que respalden la plena alineación con los principios y directrices institucionales en torno a la Ciencia Abierta y la Conservación y Difusión del Patrimonio Intelectual. Un claro ejemplo de ello es:

  • El trabajo se ha enviado a una revista cuya política editorial permite la publicación en abierto Open Access.
  • Asignación de un Handle/URN como identificador dentro del Depósito en el Repositorio Institucional: https://oa.upm.es/11150/

Como resultado de la publicación del trabajo en el repositorio institucional, se han obtenido datos estadísticos de uso que reflejan su impacto. En términos de difusión, podemos afirmar que, hasta la fecha

  • Visualizaciones: 442
  • Descargas: 447
[+]

Análisis de liderazgo de los autores institucionales

Este trabajo se ha realizado con colaboración internacional, concretamente con investigadores de: Mexico; United States of America.

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Último Autor (HERMENEGILDO SALINAS, MANUEL DE).

[+]