Mark D. Ryan

• Information Security Practice and Experience
• Objects, agents, and features
• Privacy vs. Security
• Trustworthy Global Computing
• Modeling and Verification of Parallel Processes