2517 search results - page 159 / 504 » Secure Deployment of Components |
152
Voted
ENTCS
2007
15 years 3 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
118
Voted
TCS
2010
15 years 2 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
142
Voted
OOPSLA
1989
Springer
15 years 7 months ago
1989
Springer
This paper uses the persistent object system PCLOS to survey some problems and bene ts of object persistence. The system is analyzed along several relevant dimensions. PCLOS provi...
143
click to vote
IPL
2011
14 years 10 months ago
2011
Fugue is an intriguing hash function design with a novel shift-register based compression structure and has formal security proofs e.g. against collision attacks. In this paper, w...
122
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
We have replicated the experiments of Cecchet et al. detailed in ”Performance and Scalability of EJB Applications” at OOPSLA ’02. We report on our experiences configuring, ...