Mostrando 3 resultados de: 3
Publisher
Communications in Computer and Information Science(1)
Journal of Information Processing Systems(1)
Journal of Supercomputing(1)
Área temáticas
Ciencias de la computación(1)
Gestión doméstica y familiar(1)
Métodos informáticos especiales(1)
Producción(1)
Objetivos de Desarrollo Sostenible
ODS 8: Trabajo decente y crecimiento económico(3)
ODS 9: Industria, innovación e infraestructura(3)
ODS 10: Reducción de las desigualdades(1)
ODS 16: Paz, justicia e instituciones sólidas(1)
ODS 17: Alianzas para lograr los objetivos(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:scopusStrategies for IT convergence services in rural areas
Conference ObjectAbstract: The digital divide refers to the gap between people with effective access to digital and informationPalabras claves:BcN, convergence services, Digital divide, policiesAutores:Eunyoung Lee, Ha S., Kim H.S., Ryu K.T.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