Travelled to:1 × Italy
Collaborated with:K.Greimel
Talks about:polici (1) formal (1) smart (1) secur (1) model (1) evalu (1) card (1)
Person: Gerd Beuster
DBLP: Beuster:Gerd
Contributed to:
Wrote 1 papers:
- SAC-2012-BeusterG #modelling #policy #security #smarttech
- Formal security policy models for smart card evaluations (GB, KG), pp. 1640–1642.












