Sciweavers

340 search results - page 27 / 68
» Cryptography: An Art and Science
Sort
View
ACNS
2004
Springer
128views Cryptology» more  ACNS 2004»
15 years 2 months ago
A Novel Framework for Alert Correlation and Understanding
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
Dong Yu, Deborah A. Frincke
FSTTCS
2009
Springer
15 years 4 months ago
Simulation based security in the applied pi calculus
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
Stéphanie Delaune, Steve Kremer, Olivier Pe...
ARC
2010
Springer
154views Hardware» more  ARC 2010»
14 years 9 months ago
Perspectives on system identification
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
Lennart Ljung

Book
1752views
16 years 8 months ago
Spatial Augmented Reality Merging Real and Virtual Worlds
"Spatial Augmented Reality is a rapidly emerging field which concerns everyone working in digital art and media who uses any aspects of augmented reality and is interested i...
Oliver Bimber, Ramesh Raskar

Book
3864views
16 years 8 months ago
Constrained Optimization and Lagrange Multiplier Methods
"This is an excellent reference book. The author has done a great job in at least three directions. First, he expertly, systematically and with ever-present authority guides t...
Dimitri P. Bertsekas