SECURE COMPUTER SYSTEMS : MATHEMATICAL FOUNDATIONS