1183 search results - page 53 / 237 » On flow-sensitive security types |
130
Voted
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
In a mobile ubiquitous environment, service interactions between a user device and a service provider should be secure, regardless of the type of device used to access or consume ...
138
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
137
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
113
click to vote
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
165
click to vote
XMLSEC
2003
ACM
15 years 9 months ago
2003
ACM
As a large quantity of information is presented in XML format on the Web, there are increasing demands for XML security. Until now, research on XML security has been focused on th...