Ryan, Mark - School of Computer Science, University of Birmingham

• Composition of Password-based Protocols Stephanie Delaune
• Entry for FIW'00 Feature Interaction Contest Malte Plath and Mark Ryan
• Knowledge in Multi-Agent Systems: Initial Con gurations and Broadcast
• Resolve-Impossibility for a Contract-Signing Protocol Aybek Mukhamedov Mark D. Ryan
• A Trusted Infrastructure for P2P-Based Marketplaces Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan
• Summer school MOVEP 2002 MOdelling and VErification of parallel Processes
• Designing a digital security envelope using the Trusted Platform Module School of Computer Science
• Improved multi-party contract signing Aybek Mukhamedov and Mark Ryan
• Feature Integration in Requirements Engineering Working Group 23531
• Featureoriented programming: A case study using the SMV language
• Feature Integration in Requirements Engineering Working Group 23531
• FeatureOriented specification and Feature interactions --Some case studies
• Feature Integration in Requirements Engineering Working Group 23531
• Feature Integration in Requirements Engineering Working Group 23531
• Feature-Oriented specification and Feature interactions -Some case studies
• Feature Integration in Requirements Engineering Working Group 23531
• Offline dictionary attack on TCG TPM weak authorisation data, and solution
• An algorithmic approach to knowledge evolution Alessio Lomuscio and Mark Ryan
• Information Accompanying
• Feature Integration in Requirements Engineering Working Group 23531
• Using Markovian Process Algebra to Specify Interactions in Queueing Systems
• Entry for FIW'00 Feature Interaction Contest Malte Plath and Mark Ryan
• Trusted Integrity Measurement and Reporting for Virtualized Platforms
• The feature construct for SMV: semantics Malte Plath and Mark Ryan
• Trustworthy voting systems Case for support
• Analysis of a Biometric Authentication Protocol for Signature Creation Application
• Attack, solution and verification for shared authorisation data in TCG TPM
• Model re nement and model checking for S5n Alessio Lomuscio and Mark Ryan
• Identity Escrow Protocol and Anonymity Analysis in the Applied pi-calculus
• Plug-and-play features Malte Plath Mark Ryan
• Coercion-Resistance and Receipt-Freeness in Electronic Voting Stephanie Delaune
• Prioritising Preference Relations Department of Computing, Imperial College
• Escrowed Data and the Digital Envelope King Ables and Mark D. Ryan
• This article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the
• Trustworthy voting systems: Workplan As described in the proposal, there are three threads, each one managed by one of the project
• (i_alert, A, B, -) (offhook, A, A, -);
• And the Gileadites took the passages of Jordan before the Ephraimites: and it was so, that when those Ephraimites which were
• Defaults and Revision in Structured Theories
• A Spectrum of Modes of Knowledge Sharing between Agents
• Defaults in Speci cations Department of Computing
• Towards a Verified Reference Implementation of a Trusted Platform Module
• In Advances in Computer Science, 1999, to appear. SFI: a Feature Integration Tool
• Sharing Actions and Attributes in Modal Action Logic Mark Ryan, Jose Fiadeiro and Tom Maibaum
• Introduction to the TPM 1.2 University of Birmingham
• Anonymity Protocol with Identity Escrow and Analysis in the Applied pi-calculus
• Ideal agents sharing (some!) knowledge Alessio Lomuscio1 and Mark Ryan1
• An alleged attack on key delegation in the Trusted Platform Module
• Verifying privacy-type properties of electronic voting protocols
• Evaluating Access Control Policies Through Model , Mark Ryan
• Formal analysis of protocols based on TPM state registers Stephanie Delaune and Steve Kremer and Mark D. Ryan and Graham Steel
• To appear in Formal Aspects of Computing Requirements, specifications and
• Towards a Sybil-resilient reputation metric for P2P applications Tien Tuan Anh Dinh, Mark Ryan
• Model-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens
• Summer school MOVEP 2002 MOdelling and VEri cation of parallel Processes
• On Anonymity with Identity Escrow Aybek Mukhamedov and Mark D. Ryan
• Multi-party contract signing: a roller-coaster ride
• Direct Anonymous Attestation (DAA): Ensuring privacy with corrupt administrators
• Feature Integration as an Operation of Theory Change Hannah Harris
• Symbolic Model Checking for Probabilistic Processes Christel Baier1
• Election verifiability in electronic voting protocols
• On the relation between Interpreted Systems and Kripke Models
• StatVerif: Verification of Stateful Processes Myrto Arapinis and Eike Ritter and Mark D. Ryan
• Modelling Dynamic Access Control Policies for Web-based Collaborative Systems
• Verifying Security Property of Peer-to-Peer Systems Using CSP
• A Formal Analysis of Authentication Stephanie Delaune1
• Attack, solution and verification for shared authorisation data in TCG TPM
• Towards Modelling and Verifying Dynamic Access Control Policies for Web-based Collaborative Systems
• Fair Multi-party Contract Signing using Private Contract Signatures
• Synthesising Verified Access Control Systems through Model Checking
• Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol
• Verifying Properties of Electronic Voting Protocols Stephanie Delaune
• A New Algorithm for Strategy Synthesis in LTL Games
• Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
• Feature integration using a feature construct1 Malte Plath and Mark Ryan
• Combining Logics for Multi-agent Systems Alessio Lomuscio and Mark Ryan
• A New Continuous Propositional Logic Riccardo Poli, Mark Ryan and Aaron Sloman
• In: Notre Dame Journal of Formal Logic 36(1), 1995 Belief Revision and Verisimilitude
• Belief revision and ordered theory presentations
• THIS PAGE INTENTIONALLY LEFT BLANK Ordered Presentations of Theories
• Representing Defaults as Sentences with Reduced Priority Department of Computing
• MODULE main landingBut1 : button ((lift.floor=1) & (lift.door=open));
• The potential and the current situation Desired properties Some protocols Verification Conclusions Electronic Voting: practice and theory
• Verifying Interoperability Requirements in Pervasive Systems A research project at Birmingham, Liverpool and Glasgow
• Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
• Software Package Requirements & Procurement Anthony Finkelstein & George Spanoudakis
• In: Journal of Logic, Language and Information, 1997. Counterfactuals and updates as inverse modalities
• Symbolic Strategy Synthesis For Games With LTL Winning Conditions
• ADJUNCTIONS BETWEEN DEFAULT FRAMEWORKS School of Computer Science, University of Birmingham
• Applied pi calculus Mark D. Ryan and Ben Smyth
• Verification of Secure Biometric Authentication Protocols
• TRUSTWORTHY PEER-TO-PEER INFRASTRUCTURE
• A knowledge-based verification method for dynamic access control policies
• A knowledge-based verification method for dynamic access control policies Masoud Koleini
• FORMAL VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS WITH AUTOMATED REASONING
• Formal analysis of anonymity in ECC-based Direct Anonymous Attestation schemes
• Privacy supporting cloud computing: ConfiChair, a case study
• Reduction of equational theories for verification of trace equivalence: re-encryption, associativity
• Trivitas: Voters directly verifying votes Sergiu Bursuc, Gurchetan S. Grewal, and Mark D. Ryan