Presentation

file

Panel Presentation: Challenges to Autonomy Organizational Perspective

Submitted by ygawdiak on Wed, 10/03/2012 - 2:17pm. Contributor:

Summarizes the OV-4 mappings developed by the Joint Planning & Development Office that tracks and supports the coordination of the UAS community by stakeholder types.  Provides a perspective of the number of different requirement sets that can co-exist just within a community.  Lastly, even though the mapping does a commendable job of addressing the direct UAS community the briefing highlights that coordination/mapping is missing other related communities that are related by the Cyber Physical System commonalities.

  • 2.88 MB
  • 0 views
  • 111 downloads
  • Download
file

Technologies for Cyber Physical Systems

Submitted by Anonymous on Wed, 10/03/2012 - 10:05am. Contributor:
  • 25.96 MB
  • 0 views
  • 100 downloads
  • Download
file

CPS PI Meeting 2012: Welcome

Submitted by Anonymous on Wed, 10/03/2012 - 9:39am. Contributor:
  • 10.04 MB
  • 0 views
  • 171 downloads
  • Download
file

Margrave: Query-Based Policy Analysis

Submitted by Katie Dey on Thu, 05/10/2012 - 4:52pm. Contributors:

Abstract:

Margrave is a policy-analysis tool providing query-based verification and query-based views of policies. It supports reasoning about the combined effects of policies written in different configuration languages, such as a firewall filter and a static router, or multiple cooperating access-control policies in an enterprise.  It supports "change-impact analysis", allowing a user to compare the effects of policy updates.

  • 490.18 KB
  • 0 views
  • 29 downloads
  • Download