Windows
Mac OS
Mobile

Latest news: September 19th, 2016 - We have added new categories for monitoring products testing: Microphone and Webcam Recording etc... RSS Feed

Home>Articles>Monitoring Software Security Requirements using Instrumented Code

AnyKeylogger for Mac

Monitoring Software Security Requirements using Instrumented Code

by William N. Robinson

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