3811 search results - page 88 / 763 » The Safe-Tcl Security Model |
DEXAW
2003
IEEE
15 years 5 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
CRYPTO
2001
Springer
15 years 4 months ago
2001
Springer
Recently Victor Shoup noted that there is a gap in the widely-believed security result of OAEP against adaptive chosen-ciphertext attacks. Moreover, he showed that, presumably, OA...
113
click to vote
EUROCRYPT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...