Optimizing Tee Protection By Automatically Augmenting Requirements Specifications