Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Programación informática, programas, datos, seguridad(2)
Ciencias de la computación(1)
Métodos informáticos especiales(1)
Área de conocimiento
Software(2)
Objetivos de Desarrollo Sostenible
ODS 8: Trabajo decente y crecimiento económico(2)
ODS 9: Industria, innovación e infraestructura(2)
ODS 16: Paz, justicia e instituciones sólidas(1)
ODS 17: Alianzas para lograr los objetivos(1)
Origen
scopus(2)
Secure component composition with modular behavioral properties
ArticleAbstract: We propose a flexible way of allowing the users of software components to specify their security polPalabras claves:Component composition, Digital signing, Logical framework, Software security theoryAutores:Eunyoung Lee, Kim H.S.Fuentes:scopusVerifying code toward trustworthy software
ArticleAbstract: In the conventional computing environment, users use only a small number of software systems intensiPalabras claves:Certified compiler, Formal verification, Language semantics, Program verificationAutores:Eunyoung Lee, Kim H.S.Fuentes:scopus