3420 search results - page 198 / 684 » A Language-Based Approach to Security |
117
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
132
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Legal regulations and industry standards require organizations to measure and maintain a specified IT-security level. Although several IT-security metrics approaches have been de...
160
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
153
click to vote
ACSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
The ubiquity of the Internet connection to desktops has been both boon to business as well as cause for concern for the security of digital assets that may be unknowingly exposed....
138
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Publish/subscribe systems provide an efficient, event-based, wide-area distributed communications infrastructure. Large scale publish/subscribe systems are likely to employ compon...