Using Computer Science Modeling Techniques for Airport Security Certification