A New Security Testing Method and its Application to the Secure Xenix Kernel | IEEE Conference Publication | IEEE Xplore