955 search results - page 140 / 191 » Model Checking Operator Procedures |
108
Voted
IJNSEC
2010
14 years 7 months ago
2010
Public key encryption with keyword search (PEKS) enables user Alice to send a secret key TW to a server that will enable the server to locate all encrypted messages containing the...
88
Voted
VLSI
2010
Springer
14 years 7 months ago
2010
Springer
Although local biasing of components used in an analog circuit is shown to be a very attractive design methodology, significantly simplifying the design procedure [3], it makes the...
88
Voted
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...
99
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...
109
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...