Sciweavers

3358 search results - page 574 / 672
» Parametric Aspects: A Proposal
Sort
View
SCN
2011
Springer
292views Communications» more  SCN 2011»
15 years 1 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
TMC
2011
164views more  TMC 2011»
15 years 1 months ago
Security Games for Vehicular Networks
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
Tansu Alpcan, Sonja Buchegger
JMLR
2010
117views more  JMLR 2010»
15 years 1 months ago
Comparison of Granger Causality and Phase Slope Index
We recently proposed a new measure, termed Phase Slope Index (PSI), It estimates the causal direction of interactions robustly with respect to instantaneous mixtures of independen...
Guido Nolte, Andreas Ziehe, Nicole Krämer, Fl...
MEDES
2010
ACM
15 years 1 months ago
Negotiating and delegating obligations
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...
Meriam Ben-Ghorbel-Talbi, Frédéric C...
PUC
2010
205views more  PUC 2010»
15 years 29 days ago
A database-based framework for gesture recognition
Abstract Gestures are an important modality for human-machine communication. Computer vision modules performing gesture recognition can be important components of intelligent homes...
Vassilis Athitsos, Haijing Wang, Alexandra Stefan