Record Beta
IFIP WG 1.7 Publications
https://id.confref.org/data/confref-portal/event/ifip1-72004
This record is part of the confref event Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.