John Anton, Martin Croxford, Alessandro Coglio, Janet Barnes, Randy Johnson, Tim Kremann. Two Demonstrations of Economical EAL5+ Development for Tokeneer. In Samuel T. Redwine Jr., editor, 2006 IEEE International Symposium on Secure Software Engineering, ISSSE 2006, Arlington, VA, USA, March 16 -17, 2006. 2006.
Abstract is missing.