12637 search results - page 59 / 2528 » Security for Extensible Systems |
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
OOPSLA
2001
Springer
14 years 3 days ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
CRYPTO
2012
Springer
11 years 10 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
— Electronic health records (EHR) promise to improve communication between health care providers, thus leading to better quality of patients’ treatment and reduced costs. As hi...