9503 search results - page 219 / 1901 » Authenticated System Calls |
184
click to vote
ESORICS
2003
Springer
16 years 12 days ago
2003
Springer
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
178
click to vote
ITCC
2002
IEEE
16 years 3 days ago
2002
IEEE
The concept of Virtual Private Networks offers a simple and cheap alternative to dedicated secure networks in corporate networks and Internet environments. The choice, however, of...
190
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
209
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
171
click to vote
SPW
1999
Springer
15 years 11 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...