-
1
المؤلفون: Tri Minh Ngo, Marieke Huisman, Mariëlle Stoelinga
المصدر: Journal of computer security, 22(2), 269-300. IOS Press
مصطلحات موضوعية: EWI-24237, Model checking, Bisimulation, Matching (statistics), Exploit, Computer Networks and Communications, Computer science, Programming language, IR-88981, computer.software_genre, METIS-303986, Variable (computer science), Hardware and Architecture, Confidentiality, Information flow (information theory), Safety, Risk, Reliability and Quality, Stuttering equivalence, computer, Software
وصف الملف: application/pdf; application/octet-stream
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9844f0d2793b13d8ae838dd7a834be70
https://doi.org/10.3233/jcs-130492