An Ultra-kernel Model for Dedicated Security Systems | IEEE Conference Publication | IEEE Xplore