1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Safety checking ofmachine code Zhichen XuBarton P. MillerThomas Reps2000 год

Safety checking of machine code
статья (материалы конференций)

Полный текстСтраница публикацииПубликация в OpenAlex
Аннотация: We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system.
Год издания: 2000
Авторы: Zhichen Xu, Barton P. Miller, Thomas Reps
Источник: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Ключевые слова: Advanced Malware Detection Techniques, Security and Verification in Computing, Software Testing and Debugging Techniques