The SCEAS System
Navigation Menu

Search the dblp DataBase


Valérie Viet Triem Tong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Genet, Valérie Viet Triem Tong
    Reachability Analysis of Term Rewriting Systems with Timbuk. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:695-706 [Conf]
  2. Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong
    Reachability Analysis over Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:33, n:3-4, pp:341-383 [Journal]
  3. Valérie Viet Triem Tong, Hervé Sibert, Jérémy Lecoeur, Marc Girault
    Biometric Fuzzy Extractors Made Practical: A Proposal Based on FingerCodes. [Citation Graph (0, 0)][DBLP]
    ICB, 2007, pp:604-613 [Conf]

  4. Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols. [Citation Graph (, )][DBLP]

  5. Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. [Citation Graph (, )][DBLP]

  6. Liability in software engineering: overview of the LISE approach and illustration on a case study. [Citation Graph (, )][DBLP]

  7. A sybilproof distributed identity management for P2P networks. [Citation Graph (, )][DBLP]

  8. An Efficient Distributed PKI for Structured P2P Networks. [Citation Graph (, )][DBLP]

  9. Blare Tools: A Policy-Based Intrusion Detection System Automatically Set by the Security Policy. [Citation Graph (, )][DBLP]

  10. A Sybil-Resistant Admission Control Coupling SybilGuard with Distributed Certification. [Citation Graph (, )][DBLP]

  11. A Distributed Certification System for Structured P2P Networks. [Citation Graph (, )][DBLP]

  12. Policy-based intrusion detection in Web applications by monitoring Java information flows. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002