119 search results - page 8 / 24 » Finite models for formal security proofs |
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
ITCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
CRYPTO
2000
Springer
15 years 1 months ago
2000
Springer
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...