Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Article(3)
Publisher
Journal of Information Processing Systems(1)
Journal of Internet Technology(1)
Journal of Supercomputing(1)
Área temáticas
Ciencias de la computación(2)
Programación informática, programas, datos, seguridad(2)
Métodos informáticos especiales(1)
Origen
scopus(3)
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:scopusRequirement analysis and system synthesis technique for FIC applications
ArticleAbstract: The popularity of smartphone has increased explosively for the last few years, and it brought a newPalabras claves:Formal & design method for FIC software, Formal requirement specifications, Live sequence charts, Software design methodology for FICAutores:Eunyoung LeeFuentes:scopus