TY  - RPRT
AU  - Rosa Velardo, Fernando
PY  - 2007
UR  - https://hdl.handle.net/20.500.14352/56724
AB  - Transient Secure Association has been widely accepted as apossible alternative to traditional authentication in the context of Ubiquitous Computing. In this paper we develop a formal model for the Resurrecting Duckling Policy that implements it. Our...
LA  - spa
KW  - Petri nets
KW  - Ubiquitous Systems
KW  - Ubiquitous Computing
TI  - Petri nets for the verification of Ubiquitous Systems with Transient Secure Association
TY  - technical report
VL  - 2/07
ER  -