Sciweavers

5475 search results - page 247 / 1095
» Model Driven Security
Sort
View
ISI
2006
Springer
15 years 6 months ago
Computational Modeling and Experimental Validation of Aviation Security Procedures
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
ESORICS
2012
Springer
13 years 9 months ago
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
Cas J. F. Cremers, Michele Feltz
CONTEXT
2007
Springer
16 years 23 days ago
An Operational Definition of Context
The definition of context experienced an evolution in the research area of context-aware computing, but still suffers from either generality or incompleteness. Furthermore, many de...
Andreas Zimmermann, Andreas Lorenz, Reinhard Opper...
MODELLIERUNG
2004
15 years 8 months ago
Modellbasierte Konfiguration von Transaktionsdiensten
Abstract: Die Integration von anwendungsspezifischer Logik und Infrastrukturdiensten ist ein essentieller Bestandteil des Softwareentwicklungsprozesses in modernen Komponententechn...
Sten Löcher
CPHYSICS
2011
179views Education» more  CPHYSICS 2011»
15 years 1 months ago
Temporal response of nonequilibrium correlated electrons
In this work we examine the time-resolved, instantaneous current response for the spinless Falicov-Kimball model at half-filling, on both sides of the Mott-Hubbard metal-insulato...
B. Moritz, T. P. Devereaux, J. K. Freericks