Mark Hepburn

Learn More
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations guarantees that no run-time errors due to un trusted data being used in a trusted context are possible. We improve on other similar systems[18] by introducing a safe environment(More)
With a fast paced development of Bioinformatics in recent years, we have witnessed a rapid growth of the number of databases and tools available for aiding in scientific research and knowledge discovery for Bioinformati-cians. Web service is an enabling technique to facilitate Bioinformaticians in this discovery process by integrating the databases and(More)
  • 1