Sciweavers

5475 search results - page 247 / 1095
» Model Driven Security
Sort
View
ISI
2006
Springer
15 years 7 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 1 months 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 2 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