Latest world news: - Why the U.S. is considering TikTok Ban RSS Feed

Home>Articles>Monitoring Software Security Requirements using Instrumented Code
Top keyloggers
View more...

Monitoring Software Security Requirements using Instrumented Code

  •  
User rating: no reviews. Be the first to review it! 0 - 1 votes
AUTHORS' DESCRIPTION

We present a framework to monitor requirements of software as it executes. The framework is general, and allows for automated support. In this paper, we introduced the framework, and show how Java code can be instrumented and monitored by a model checker. We illustrate our current automated support using the widely known problem of the Dinning Philosophers. From this exemplar, we suggest how the approach may be applied to address security concerns such as those that arise during e-commerce transactions.
Date publication:
Read the full article
Home>Articles>Monitoring Software Security Requirements using Instrumented Code
IMPORTANT! Installing computer monitoring tools on computers you do not own or do not have permission to monitor may violate local, state or federal law.