100
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...