671 search results - page 41 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
JAR
2008
14 years 9 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
FPL
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes a solution for the generation of true random numbers in a purely digital fashion; making it suitable for any FPGA type, because no FPGA vendor specific featur...
JCP
2007
14 years 9 months ago
2007
Abstract— Converting a secure group key agreement protocol into password-based setting is not a trivial task. The security of a password-based scheme hinges on preventing diction...
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
104
click to vote
HT
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...