5843 search results - page 195 / 1169 » Software Security in Practice |
121
Voted
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
131
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
154
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...
144
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
146
click to vote
IANDC
2008
15 years 5 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...