Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Semantic Analysis of Key Management Protocols for Wireless Sensor
  Networks   We propose a simple timed broadcasting process calculus for modelling
wireless network protocols. The operational semantics of our calculus is given
in terms of a labelled transition semantics which is used to derive a standard
(weak) bi-simulation theory. Based on our simulation theory, we reformulate
Gorrieri and Martinelli's timed Generalized Non-Deducibility on Compositions
(tGNDC) scheme, a well-known general framework for the definition of timed
properties of security protocols. We use tGNDC to perform a semantic analysis
of three well-known key management protocols for wireless sensor networks: \mu
TESLA, LEAP+ and LiSP. As a main result, we provide a number of attacks to
these protocols which, to our knowledge, have not yet appeared in the
literature.

19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol