4111 search results - page 752 / 823 » Security, Protocols, and Trust |
STACS
2007
Springer
14 years 3 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...
DEXAW
2006
IEEE
14 years 2 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 2 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...
BPM
2005
Springer
14 years 2 months ago
2005
Springer
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
As a promising technology that enables ubiquitous computing and leads IT industries of next generation, sensor networks (SN) are foreseen to expand and populate the globe in such a...