3811 search results - page 6 / 763 » The Safe-Tcl Security Model |
IEEEARES
2008
IEEE
15 years 3 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...
57
Voted
SMC
2007
IEEE
15 years 3 months ago
2007
IEEE
— Managing security projects is a delicate activity due to the evolution of attacks. In this paper, we develop a new methodology for estimating security effort based on algebraic...
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
We define security goals and attack models for disk encryption, and prove several relationships between the resulting security notions, and some general results about disk encryp...
QSIC
2007
IEEE
15 years 3 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
84
Voted
CRYPTO
2004
Springer
15 years 2 months ago
2004
Springer
We construct two efficient Identity Based Encryption (IBE) systems that are selective identity secure without the random oracle model. Selective identity secure IBE is a slightly w...