Gateway Access Permission Technology for High Assurance | IEEE Conference Publication | IEEE Xplore