3088 search results - page 547 / 618 » Multichannel Security Protocols |
SAFECOMP
2007
Springer
14 years 5 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
STACS
2007
Springer
14 years 5 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
CNSR
2006
IEEE
14 years 5 months ago
2006
IEEE
Ad-hoc networks rely on participation and cooperation of nodes within the network to transmit data to destinations. However, in networks where participating nodes are controlled b...
DEXAW
2006
IEEE
14 years 5 months ago
2006
IEEE
Wireless sensor networks (WSNs) are used for various ubiquitous and pervasive environments. A few common applications are security, agriculture, automation, and environmental moni...
AINA
2005
IEEE
14 years 4 months ago
2005
IEEE
More and more sensor networks will be deployed in the place where people are living, studying, and working. These sensor networks bring us the convenience of accessing information...