2137 search results - page 162 / 428 » Proving Abstract Non-interference |
148
click to vote
DATE
2006
IEEE
16 years 14 days 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ļ¬...
178
click to vote
CIG
2005
IEEE
16 years 1 days 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...
164
click to vote
EPEW
2005
Springer
15 years 12 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...
128
click to vote
STACS
2005
Springer
15 years 12 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...
168
click to vote
TCC
2005
Springer
15 years 12 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 ...