Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 2 of 2 results for the Author - john morley inmeta:GSAAuthorOutput~peter feiler , Type - White Paper

White Paper | May 2008 - White Paper Using Model-Based Engineering and Architectural Models to ... By Peter H. Feiler, Jörgen Hansson (University of Skovde), John Morley

In this paper, the authors present analytical techniques to model and validate security protocols for enforcing confidentiality and integrity.

White Paper | May 2008 - White Paper Building Secure Systems Using Model-Based Engineering ... By Peter H. Feiler, Jörgen Hansson (University of Skovde), John Morley

A system designer faces several challenges when specifying security for distributed computing environments or migrating systems to a new execution platform.