Security Evaluation of a Linux System: Common Criteria EAL4+ Certification Experience | IEEE Conference Publication | IEEE Xplore