5475 search results - page 271 / 1095 » Model Driven Security |
173
click to vote
ESSOS
2010
Springer
16 years 3 months ago
2010
Springer
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
205
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
185
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Private Set Intersection (PSI) protocols allow one party ("client") to compute an intersection of its input set with that of another party ("server"), such tha...
143
click to vote
CAISE
2006
Springer
15 years 10 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...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...