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)
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: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:scopus