FORWARD produces two forms of publications:
|
|
Deliverable Number: |
Deliverable Title: |
To be delivered: |
Files: |
| D1 | Interoperability challenges for Wireless Communications | Delivered |
|
| D2 | Protocol Synthesis Feasibility Report | Delivered |
|
| D3 | Correctness of routing in wireless communications environments | Delivered |
|
| D4 | Analytical Assessment of Bluetooth Security Mechanisms | Delivered |
|
| D5 | Automated Compression Techniques | Delivered |
|
| D6 | A Formal Analysis of the Performance and Power Consumption of the Bluetooth protocol | Delivered |
|
| D7 | Towards a Calculus for Security Protocol Synthesis | Delivered |
|
| D8 | Practical Attacks Against Bluetooth | This document carries a private marking and is not available for public viewing | Delivered |
| D9 | A CSP Framework for Analysing Fault Tolerant Distributed Systems | Delivered |
|
| D10 | On a Calulus for Security Protocol Synthesis | Delivered |
|
| D11 | Securing Bluetooth Pairing against Brute-Force Attacks on the PIN | This document carries a private marking and is not available for public viewing | |
| D12 | Interoperabilty between Bluetooth Devices | Delivered |
|
| D14 | A CSP Frontend for probabilistic tools | Delivered |
|
| D17 | On a Calculus for Security Protocol Development | Delivered |
|
| D18 | Prospects for spontaneous security | This document carries a private marking and is not available for public viewing | |
| D19 | Prototype Bluetooth device design tool for enabling trusted interoperability between devices | This document carries a private marking and is not available for public viewing | |
| D20 | Techniques to automate Data Independent Induction | Delivered |
|
| D21 | A Methodoloy for Assessing Performance | Delivered |
|
| D22 | An investigation into System Security Requirements for Next Wave Information Provision Services |
Part 1 Delivered
Part 2 carries a private marking and is not available for public viewing |
|
|
|
Reference Number: |
Title of Paper: |
Date Posted: |
Files: |
| Boppard03.pdf | Authentication for Pervasive Computing | 21st June 2005 |
|
| sppc04.pdf | Research Directions for Trust and Security in Human-Centric Computing | 21st June 2005 |
|
| Boppard05.pdf | Exploiting Empirical Engagement in Authentication Protocol Design | 21st April 2005 |
|
|
|
Some reports are accompanied by demonstrators. In most cases, these take the form of CSP or PRISM scripts. These scripts can be analysed without
charge using FDR2 or PRISM, respectively.
FDR2 is available via the FSEL software page. PRISM is available via the PRISM home page. The PRISM model for deliverable D6 is available here which is also reachable from the PRISM Bluetooth page. Birmingham publications attributed to the FORWARD project are available here. |