1183 search results - page 24 / 237 » On flow-sensitive security types |
119
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
130
click to vote
IJACT
2010
14 years 11 months ago
2010
: We study the interplay of network connectivity and the issues related to the `possibility', `feasibility' and `optimality' for unconditionally reliable message tra...
140
click to vote
IJNSEC
2010
14 years 11 months ago
2010
Data privacy and integrity will be the crucial and significant factors in recent times for trade which will be transacted over the Internet through e-commerce and mcommerce channe...
165
click to vote
IJNSEC
2010
14 years 11 months ago
2010
Remote user authentication scheme is one of the simplest and the most convenient authentication mechanisms to deal with secret data over insecure networks. These types of schemes ...
143
click to vote
HICSS
2012
IEEE
14 years 1 days ago
2012
IEEE
Security vulnerabilities continue to be an issue in the software field and new severe vulnerabilities are discovered in software products each month. This paper analyzes estimates...