Search results for: Ricardo Corin
Lecture Notes in Computer Science > Logic Programming > 439-440
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 2. Tools and Mechanisms > 58-72
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Security > 131-146
Lecture Notes in Computer Science > Static Analysis > 326-341
Lecture Notes in Computer Science > Information Security Applications > Digital Rights Management > 223-237
Lecture Notes in Computer Science > Information Security and Cryptology - ICISC 2003 > Primitives > 55-66
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops > 626-635
Annals of Telecommunications > 2006 > 61 > 3-4 > 284-331
Electronic Notes in Theoretical Computer Science > 2005 > 121 > Complete > 47-63
Electronic Notes in Theoretical Computer Science > 2005 > 118 > Complete > 129-143