Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ling, Hai Zhou"'
Autor:
Ling, Hai Zhou
Software vulnerability detection, which involves security property specification and verification, is essential in assuring the software security. However, the process of vulnerability detection is labor-intensive, time-consuming and error-prone if d
Externí odkaz:
http://spectrum.library.concordia.ca/976727/1/MR67245.pdf
Autor:
Charpentier, Robert, Debbabi, Mourad, Alhadidi, Dima, Mourad, Azzam, Belblidia, Nadia, Boukhtouta, Amine, Hanna, Aiman, Hadjidj, Rachid, Kaitouni, Hakim, Laverdière, Marc-André, Ling, Hai Zhou, Tlili, Syrine, Yang, Xiaochun, Yang, Zhenrong
Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off- The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term solution that deserves careful consideration because of its potential for signific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::032e76a5e3b80f2666930440989e2186
Publikováno v:
On the Move to Meaningful Internet Systems: Otm 2009 (9783642051500); 2009, p815-832, 18p
Publikováno v:
Algebraic Methodology & Software Technology (9783540799795); 2008, p377-391, 15p