共 50 条
- [1] An indirect hotswapping system for linux kernel modules ICCP 2007: IEEE 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2007, : 201 - +
- [3] Linux Security Modules: General security support for the Linux kernel USENIX ASSOCIATION PROCEEDINGS OF THE 11TH USENIX SECURITY SYMPOSIUM, 2002, : 17 - 31
- [4] A Memory Model for Deductively Verifying Linux Kernel Modules PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2017, 2018, 10742 : 256 - 275
- [5] Modeling Environment for Static Verification of Linux Kernel Modules PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 400 - 414
- [6] Linux containers networking: performance and scalability of kernel modules NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, 2016, : 713 - 717
- [7] Safer Linux Kernel Modules Using the D Programming Language IEEE ACCESS, 2022, 10 : 134502 - 134511
- [8] Safer Linux Kernel Modules Using the D Programming Language IEEE Access, 2022, 10 : 134502 - 134511
- [9] Loadable modules & the Linux 2.6 kernel - Changes to the kernel mean changes must be made elsewhere DR DOBBS JOURNAL, 2005, 30 (06): : 77 - 80
- [10] Correlation Between Complex Network Features and Robustness in Linux Kernel Modules 2017 ANNUAL CONFERENCE ON SOFTWARE ANALYSIS, TESTING AND EVOLUTION (SATE 2017), 2017, : 80 - 89