2806 search results - page 306 / 562 » BML and Related Tools |
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
163
click to vote
IJAR
2008
15 years 6 months ago
2008
There exist many tools for capturing imprecision in probabilistic representations. Among them are random sets, possibility distributions, probability intervals, and the more recen...
181
click to vote
IJDMB
2008
15 years 6 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
174
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...
145
click to vote
IJWBC
2008
15 years 6 months ago
2008
In many research settings, bibliographies are a central resource for collecting information about related work, keeping track of the own research record, and annotating this infor...