1432 search results - page 72 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
187
Voted
SCN
2011
Springer
14 years 10 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
118
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
157
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
204
Voted
CLIMA
2011
14 years 3 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
103
Voted
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...