53 search results - page 2 / 11 » Static Analysis for Secrecy and Non-interference in Networks... |
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
Information theoretic security, also called secrecy analysis, provides theoretical limit for secret data transmission even in wireless networking environment, and it is more focus...
IANDC
2010
13 years 4 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
ECRTS
2005
IEEE
13 years 11 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
DATE
2007
IEEE
14 years 10 days ago
2007
IEEE
— We present a waveform based variational static timing analysis methodology. It is a timing paradigm that lies midway between convention static delay approximations and full dyn...
EDBT
2010
ACM
14 years 25 days ago
2010
ACM
Information networks are ubiquitous in many applications and analysis on such networks has attracted significant attention in the academic communities. One of the most important ...