3742 search results - page 636 / 749 » On the Use of Formal Techniques for Validation |
206
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
158
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
262
click to vote
WWW
2005
ACM
15 years 12 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
187
click to vote
APWEB
2005
Springer
15 years 12 months ago
2005
Springer
Data management issues in mobile computing environments have got lots of concerns of relevant researchers. Among these research topics, data broadcast has been extensively investig...
144
click to vote
CRYPTO
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we study the long standing problem of information extraction from multiple linear approximations. We develop a formal statistical framework for block cipher attacks b...