550 search results - page 18 / 110 » A lightweight approach to state based security testing |
FATES
2004
Springer
15 years 3 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
109
click to vote
CISS
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Fault detection plays an indispensable role in ensuring the security of smart grid systems. Based on the dynamics of the generators, we show the time evolution of the sm...
109
click to vote
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
IJACT
2008
14 years 9 months ago
2008
: In the absence of sufficiently optimised public key constructions, anonymous authentication for Radio-Frequency Identification Devices (RFIDs) requires state synchronisation betw...
114
click to vote
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
— Access control concerns in MANETs are very serious and considered as a crucial challenge for operators who prospects to employ unrivaled capabilities of such networks for diffe...