5475 search results - page 376 / 1095 » Model Driven Security |
213
click to vote
WIDM
2012
ACM
14 years 2 months ago
2012
ACM
Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottl...
174
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
173
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Cryptographic computations are often carried out on insecure devices for which the threat of key exposure represents a serious concern. Forward security allows one to mitigate the...
200
click to vote
APGV
2008
ACM
15 years 8 months ago
2008
ACM
There is an increasing need for methods for secure dissemination of interactive 3D graphics content, providing protection for valuable 3D models while still allowing them to be wi...
166
Voted
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Recent work has applied game-theoretic models to real-world security problems at the Los Angeles International Airport (LAX) and Federal Air Marshals Service (FAMS). The analysis o...