253 search results - page 47 / 51 » Security Analysis using Flow Logics |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
SIPS
2006
IEEE
14 years 1 months ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
ANCS
2008
ACM
13 years 9 months ago
2008
ACM
Accurate and real-time traffic measurement is becoming increasingly critical for large variety of applications including accounting, bandwidth provisioning and security analysis. ...
TACAS
2004
Springer
14 years 20 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
SACMAT
2003
ACM
14 years 18 days ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...