746 search results - page 44 / 150 » Formal Analysis of UML-Based Designs |
122
click to vote
IPL
2011
14 years 8 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...
113
Voted
FM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
117
click to vote
SAS
1999
Springer
15 years 6 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
FORTE
2007
15 years 3 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...