Toward an Understanding of Extensible Architectures for Evaluated Trusted Computer System Products | IEEE Conference Publication | IEEE Xplore