1612 search results - page 275 / 323 » About models of security protocols |
ICEIS
2008
IEEE
15 years 4 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
CIA
2004
Springer
15 years 3 months ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...
CAV
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
ESAW
2008
Springer
14 years 11 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
COMCOM
2004
14 years 9 months ago
2004
The key challenge in the design of a wireless sensor network is maximizing its lifetime. This is a fundamental problem and new protocol engineering principles need to be establish...