2137 search results - page 162 / 428 » Proving Abstract Non-interference |
100
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
142
click to vote
CIG
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Recently, P2P (peer-to-peer) online game systems have attracted a great deal of public attention. They work without central servers, thus, the maintenance and organizatio...
118
click to vote
EPEW
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Global choreographies deļ¬ne the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
91
Voted
STACS
2005
Springer
15 years 8 months ago
2005
Springer
ded abstract of this article is published in the proceedings of STACSā05, LNCS 3404, Springer Verlag. A relational structure is a core, if all its endomorphisms are embeddings. T...
129
click to vote
TCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...