Towards Precise and Certified Security Patterns

  title={Towards Precise and Certified Security Patterns},
  author={Antonio Ma{\~n}a and Daniel Serrano},
This paper presents a new application development process for ambient intelligence scenarios that considers security and dependability issues as core elements. It centres on the precise description of reusable security and dependability solutions (S&D solutions) stored in the form of S&D patterns. One of the main motivations of this approach is the practical impossibility for programmers to develop sound complex security services for their applications. 

Similar Papers

Loading similar papers…