1653 search results - page 258 / 331 » Timed analysis of security protocols |
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
It has been suggested that metadata describing data quality (DQ), termed DQ tags, be made available in situations where decision-makers are unfamiliar with the data context, for e...
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose a new design methodology to assess the risk for side-channel attacks, more specifically timing analysis and simple power analysis, at an early design st...
ATVA
2006
Springer
14 years 19 days ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
MM
2009
ACM
14 years 3 months ago
2009
ACM
Emerging IPTV technology uses source-specific IP multicast to deliver TV programs to the end-users. To provide timely and reliable services over the error-prone DSL access networ...
ICMCS
2008
IEEE
14 years 3 months ago
2008
IEEE
We design a test methodology to analyze in detail the video quality received at each peer in a peer-to-peer (P2P) video streaming system. The metrics that we employ at each peer i...