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.