%0 Conference Paper %1 conf/rtcsa/ShimadaN12 %A Shimada, Hiromasa %A Nakajima, Tatsuo %B RTCSA %D 2012 %I IEEE Computer Society %K dblp %P 408-410 %T Automatic Invariant Generation for Monitoring OS Kernel Integrity. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2012.html#ShimadaN12 %@ 978-1-4673-3017-6

@inproceedings{conf/rtcsa/ShimadaN12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Shimada, Hiromasa and Nakajima, Tatsuo}, biburl = {https://www.bibsonomy.org/bibtex/28fdf77872e443eb3357802af32bc6029/dblp}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2012.68}, interhash = {174ac3aa6ec5347373d74f29038ebd11}, intrahash = {8fdf77872e443eb3357802af32bc6029}, isbn = {978-1-4673-3017-6}, keywords = {dblp}, pages = {408-410}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:24:03.000+0200}, title = {Automatic Invariant Generation for Monitoring OS Kernel Integrity.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2012.html#ShimadaN12}, year = 2012 }