• Embedding Security Monitors in Software Components 

      Khan, Muhammad (2014-09-05)
      Software can be made more secure by stipulating and integrating security specifications in the development process. However, guaranteeing the correct implementation of these specifications is a daunting task. In spite of ...