Sciweavers

2015 search results - page 111 / 403
» Some Observations on Indifferentiability
Sort
View
CSFW
2005
IEEE
15 years 6 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
93
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
Compositional Reasoning for Probabilistic Finite-State Behaviors
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
Yuxin Deng, Catuscia Palamidessi, Jun Pang
103
Voted
EWSA
2004
Springer
15 years 6 months ago
Experiences Using Viewpoints for Information Systems Architecture: An Industrial Experience Report
There has recently been an increase in interest, among information systems architecture practitioners, in using viewpoints for architectural definition and description. This has be...
Eoin Woods
84
Voted
IPTPS
2004
Springer
15 years 6 months ago
When Multi-hop Peer-to-Peer Lookup Matters
Distributed hash tables have been around for a long time [5, 7]. A number of recent projects propose peerto-peer DHTs, based on multi-hop lookup optimizations. Some of these syste...
Rodrigo Rodrigues, Charles Blake
78
Voted
ISCAS
2003
IEEE
90views Hardware» more  ISCAS 2003»
15 years 6 months ago
"Intermittent" chaos and subharmonics in switching power supplies
This paper studies the “intermittent” chaos and subharmonics observed in switching dc/dc converters using a simple circuit model that describes possible unintended coupling of...
C. K. Michael Tse, Yufei Zhou, Francis Chi-Moon La...