118 search results - page 4 / 24 » Security, Liberty, and Electronic Communications |
FAC
2008
14 years 9 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
SPW
1999
Springer
15 years 1 months ago
1999
Springer
In the near future, many personal electronic devices will be able to communicate with each other over a short range wireless channel. We investigate the principal security issues f...
111
click to vote
CIA
1998
Springer
15 years 1 months ago
1998
Springer
The paradigm of mobile agents offers a powerful and flexible ity to develop distributed applications on a high-level of abstraction. One of the most interesting tasks for mobile ag...
DAC
1998
ACM
15 years 10 months ago
1998
ACM
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...
117
Voted
MIE
2008
14 years 10 months ago
2008
Improving Shared Decision Making (SDM) and patient-provider communication, and providing all citizens with equal access to health information has become a high priority health poli...