Example: air traffic controller
Static Program Analysis - Aarhus Universitet
• Can input values from untrusted users flow unchecked to file system operations? This would be a violation of integrity. • Can secret information become publicly observable? Such situations are violations of confidentiality. The increased use of concurrency (parallel or distributed computing) and event-
Download Static Program Analysis - Aarhus Universitet
Information
Domain:
Source:
Link to this page: