NOTICE: Your browser has Javascript disabled.
MOST FUNCTIONS WILL NOT WORK, SOME MAY BE VERY SLOW.
Please enable Javascript, then reload or refresh the page.
 
Saya Systems logo Security and Privacy in
Software and Systems 		Applied Technology for
Science, Engineering
and Business
R & D History
Commercial Products
Project Management
Visualization
Secure Systems
Safe Systems
Signal / Image Analysis
High Availability Server
3D Volume Fusion
Web Site Creation
Graphic Design
Imaging / Photography
Hardware Design
Networking
Distributed Systems
About Us
Contact Us
Site Map
Home
Secure Systems
• Practical Analysis
• R&D (abstract)
• R&D Intro (slides)
• R&D Details (slides)
Clients & Employers:
 HP Labs
 Southern California
Earthquake Center (USC)
 Univ of Washington
Incorporated Research
Institutions for Seismology
 Univ of Utah:
 School of Computing
 Computer Science
 Campus Networking
 Computer Center
 RAHD Oncology Products
 Univ of Utah Med Ctr:
 Radiation Oncology
 Diagnostic Imaging Lab
 New York Univ Med Ctr
 Radiology
 Indiana Univ of PA:
 Physics
 Psychology
  << PREV NEXT >>  
Image
Environment: Planned Ops: Explicit: Used by Application:
  • Application uses the GUI, File, and Com subsystems.
Environment: Planned Ops: Explicit: Used by Other objects:
  • Arbitrary process uses the GUI, File, and Com subsystems.
  • Modeled via 'parasite modules' (PMODs).
Environment: Planned Ops: Implicit: Used by Application:
  • Application uses the OS memory management system.
  • Application uses the computer hardware.
  • Modeled via 'parasite modules' (PMODs).
Environment: Planned Ops: Implicit: Used by Other objects:
  • Arbitrary process uses the OS memory management system.
  • Arbitrary process uses the computer hardware.
  • Modeled via 'parasite modules' (PMODs).
 
NOTICE: Your browser has Javascript disabled.
MOST FUNCTIONS WILL NOT WORK, SOME MAY BE VERY SLOW.
Please enable Javascript, then reload or refresh the page.
 
Copyright 2003 - 2026  Saya Systems Inc. Web design by  Saya Systems Inc.