2687 search results - page 139 / 538 » Formal Analysis of PKCS |
122
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we aim at showing the advantages of Conceptual Graph formalism for the Semantic Web through several real-world applications in the framework of Corporate Semantic We...
122
click to vote
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
116
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
148
click to vote
IPL
2011
14 years 11 months ago
2011
Fugue is an intriguing hash function design with a novel shift-register based compression structure and has formal security proofs e.g. against collision attacks. In this paper, w...
145
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...