Example: air traffic controller
Static Program Analysis - Aarhus Universitet

Static Program Analysis - Aarhus Universitet

Back to document page

• 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-

  User, Static

Download Static Program Analysis - Aarhus Universitet


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries