| Original language | English |
|---|---|
| Pages | 235-243 |
| Number of pages | 9 |
| Publication status | Published - 1 Jan 2006 |
| Event | 3rd International Workshop on Formal Aspects in Security and Trust, Jul 18-19, 2005. Newcastle upon Tyne, England - Duration: 1 Jan 2006 → … |
Conference
| Conference | 3rd International Workshop on Formal Aspects in Security and Trust, Jul 18-19, 2005. Newcastle upon Tyne, England |
|---|---|
| Period | 1/01/06 → … |