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
Ingeniería de software(2)
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