•  
  Our University: a
  • Our University home
  • Vice Chancellor's welcome
  • New Chancellor appointment
  • About us
  • Our governance
  • Our Colleges and Schools
  • Professional Services
  • Facts and statistics
  • Our services
•  
  community where
  • Community home
  • Unique campus experience
  • Using our facilities
  • Regional relationships
  • University of Birmingham School
  • Visit our campus
•  
  students,
  • Students home
  • Course finder
  • Entry requirements
  • Teaching and learning
  • Why Birmingham?
  • Student support
  • Fees and funding
  • Accommodation
  • Visit us
  • Teachers, Careers Advisors and Parents
  • Study abroad
•  
  partners,
  • Partners home
  • Our research and commercial services
  • Staff profiles
  • International partners and collaborations
  • Recruiting our students to work for you
  • Conferences
•  
  alumni,
  • Alumni home
  • Staying connected
  • Giving
  • Get involved
  • Alumni benefits
  • Alumni news
  • Events and reunions
  • Our Alumni
  • Family community
•  
  staff and our
  • Staff home
  • About Birmingham
  • Why work here?
  • Jobs
  • Encouraging excellence
  • Staff search
•  
  research create
  • Research home
  • Our research
  • Our impact
  • Solving tomorrow's problems today
  • Supporting research
  • Partners and collaborators
  • Funding and awards
•  
  international impact
  • International home
  • Our global impact
  • International students
  • International collaborations
  • International visitors
  • Meet us
  • Study abroad

Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model