2429 search results - page 200 / 486 » Using Aspects to Design a Secure System |
136
Voted
ETRICS
2006
15 years 6 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
121
Voted
USENIX
2003
15 years 4 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...
162
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
118
Voted
JDCTA
2010
14 years 9 months ago
2010
Platform-based development is currently the dominant development method of enterprise application, but the features provided by current mainstream enterprise application developme...
108
Voted
WWW
2010
ACM
15 years 8 months ago
2010
ACM
The last three years have seen a dramatic increase in both awareness and exploitation of Web Application Vulnerabilities. 2008 and 2009 saw dozens of high-profile attacks against...