4731 search results - page 131 / 947 » Securing Interactive Programs |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...
INTERACT
2007
13 years 10 months ago
2007
Abstract. Policies, sets of rules that govern permission to access resources, have long been used in computer security and online privacy management; however, the usability of auth...
FSTTCS
2007
Springer
14 years 3 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
ACSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper first investigates and analyzes security holes concerning the use of Server-Side Includes (SSI) in some of the most used Web server software packages. We show that, by ...
CSFW
2004
IEEE
14 years 22 days ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...