39 search results - page 6 / 8 » Formal Analysis of Key Integrity in PKCS |
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
TCBB
2008
13 years 7 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
KES
2006
Springer
13 years 7 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...
SP
2007
IEEE
14 years 1 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
JAR
2000
13 years 7 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...