300 search results - page 15 / 60 » Formal Methods for Smartcard Security |
POPL
2005
ACM
14 years 7 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
ESORICS
2000
Springer
13 years 11 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...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
DBSEC
1996
13 years 9 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
COMPSEC
2010
13 years 4 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 ...