Sciweavers

1153 search results - page 53 / 231
» The Complexity of Revision, Revised
Sort
View
CJ
2007
106views more  CJ 2007»
14 years 9 months ago
A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
Kim-Kwang Raymond Choo
IJMMS
2006
64views more  IJMMS 2006»
14 years 9 months ago
Revising (multi-) media learning principles by applying a differentiated knowledge concept
This paper reports on a study investigating the effect of single-media and multimedia presentations on the resulting knowledge. First, this study investigated the stability of est...
Sissel Guttormsen Schär, Johannes Kaiser
ENTCS
2007
97views more  ENTCS 2007»
14 years 9 months ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt
MST
2008
80views more  MST 2008»
14 years 9 months ago
A Revised Transformation Protocol for Unconditionally Secure Secret Key Exchange
Abstract The transformation protocol can allow two players to share an unconditionally secure secret key using a random deal of cards. A sufficient condition on the number of cards...
Koichi Koizumi, Takaaki Mizuki, Takao Nishizeki