2687 search results - page 384 / 538 » Formal Analysis of PKCS |
155
click to vote
TIT
2008
15 years 6 months ago
2008
Error correction procedures are considered which are designed specifically for the amplitude damping channel. Amplitude damping errors are analyzed in the stabilizer formalism. Thi...
181
click to vote
JCS
2007
15 years 6 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
162
click to vote
AIL
2004
15 years 6 months ago
2004
In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that this idea is based on the assumption that agents can achieve flexible co-ordination...
153
click to vote
JSW
2007
15 years 6 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
189
click to vote
CMOT
2000
15 years 6 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...