1748 search results - page 129 / 350 » Using Aspect Programming to Secure Web Applications |
131
click to vote
W4A
2006
ACM
15 years 9 months ago
2006
ACM
Web Content Accessibility guidelines by W3C [29] provide several suggestions for Web designers on how to author Web pages in order to make them accessible to everyone. In this con...
109
click to vote
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
117
click to vote
SDMW
2004
Springer
15 years 8 months ago
2004
Springer
With the increasing use of web services, many new challenges concerning data security are becoming critical. Data or applications can now be outsourced to powerful remote servers, ...
127
click to vote
ITP
2010
15 years 7 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
158
click to vote
TSE
2011
14 years 10 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...