Mark D. Ryan · 5 obras en el catálogoObrasObjects, agents, and featuresInformation Security Practice and ExperienceTrustworthy Global ComputingPrivacy vs. SecurityMModeling and Verification of Parallel ProcessesModeling and Verification of Parallel Processes