2850 search results - page 64 / 570 » On Timed Models and Full Abstraction |
223
click to vote
SACMAT
2009
ACM
16 years 20 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
138
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes several novel timing attacks against the common table-driven software implementation of the AES cipher. We define a general attack strategy using a simplified ...
147
click to vote
BROADNETS
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
156
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract— We investigate the secure connectivity of wireless sensor networks under the pairwise key distribution scheme of Chan et al.. Unlike recent work which was carried out u...
194
click to vote
PTS
2008
15 years 7 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...