SDSIrep: A Reputation System Based on SDSI

  • Ahmed Bouajjani
  • Javier Esparza
  • Stefan Schwoon
  • Dejvuth Suwimonteerabuth
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4963)

Abstract

We introduce SDSIrep, a reputation system based on the SPKI/SDSI authorization system. It is well-known that a system of SPKI/SDSI certificates corresponds to the formal model of a pushdown system (PDS). Our system, SDSIrep, allows principals to express trust and recommendations in the form of so-called certificates with weights. By interpreting weights as probabilities, we obtain a random-walk model of the reputation of a principal. Thus, SDSIrep represents an application of the theory of probabilistic PDSs to the field of computer security. We present an algorithm to compute the reputation of each principal. An extension of SDSIrep also provides for so-called intersection certificates, by which, loosely speaking, a principal gains reputation if recommended by all members of a given group of principals. On a formal-methods level, this extension makes SDSIrep correspond to probabilistic alternating PDSs, and we extend the underlying theory of PDSs to handle this case. As an example we sketch a small academic reputation system that combines information from different reputation sources, like conferences, coauthors, and rankings.

References

  1. 1.
    Jøsang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. In: Decision Support Systems (2005)Google Scholar
  2. 2.
    Adler, T., de Alfaro, L.: A content-driven reputation system for the Wikipedia. In: Proc. 16th WWW Conference, ACM, pp. 261–270 (2007)Google Scholar
  3. 3.
    Ellison, C., Frantz, B., Lampson, B., Rivest, R., Thomas, B., Ylönen, T.: RFC 2693: SPKI Certificate Theory. In: The Internet Society (1999)Google Scholar
  4. 4.
    Kamvar, S.D., Schlosser, M.T., Garcia-Molina, H.: The EigenTrust algorithm for reputation management in P2P networks. In: Proc. 12th WWW Conference (2003)Google Scholar
  5. 5.
    Jha, S., Reps, T.: Model checking SPKI/SDSI. JCS 12(3–4), 317–353 (2004)Google Scholar
  6. 6.
    Schwoon, S., Jha, S., Reps, T., Stubblebine, S.: On generalized authorization problems. In: Proc. CSFW, pp. 202–218. IEEE, Los Alamitos (2003)Google Scholar
  7. 7.
    Esparza, J., Kučera, A., Mayr, R.: Model checking probabilistic pushdown automata. In: LICS 2004, IEEE, Los Alamitos (2004)Google Scholar
  8. 8.
    Li, N., Mitchell, J.C.: Understanding SPKI/SDSI using first-order logic. In: Proc. CSFW, pp. 89–103. IEEE, Los Alamitos (2003)Google Scholar
  9. 9.
    Suwimonteerabuth, D., Schwoon, S., Esparza, J.: Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 141–153. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Jha, S., Schwoon, S., Wang, H., Reps, T.: Weighted pushdown systems and trust-management systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 1–26. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Page, L., Brin, S., Motwani, R., Winograd, T.: The PageRank citation ranking: Bringing order to the web. Technical report, Stanford Digital Library Technologies Project (1998)Google Scholar
  12. 12.
    Etessami, K., Yannakakis, M.: Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol. 3404, Springer, Heidelberg (2005)Google Scholar
  13. 13.
    CiteSeer: Top 10,000 cited authors in computer science http://citeseer.ist.psu.edu/allcited.html
  14. 14.
    CiteSeer: Estimated impact of publication venues in computer science http://citeseer.ist.psu.edu/impact.html
  15. 15.
    Hirsch, J.E.: An index to quantify an individual’s scientific research output. Proceedings of the National Academy of Sciences 102, 165–169 (2005)CrossRefGoogle Scholar
  16. 16.
    Ley, M.: DBLP bibliography, http://www.informatik.uni-trier.de/~ley/db/
  17. 17.
    Jøsang, A., Marsh, S., Pope, S.: Exploring different types of trust propagation. In: Stølen, K., Winsborough, W.H., Martinelli, F., Massacci, F. (eds.) iTrust 2006. LNCS, vol. 3986, pp. 179–192. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ahmed Bouajjani
    • 1
  • Javier Esparza
    • 2
  • Stefan Schwoon
    • 2
  • Dejvuth Suwimonteerabuth
    • 2
  1. 1.LIAFAUniversity of Paris 7Paris cedex 13France
  2. 2.Technische Universität MünchenGarchingGermany

Personalised recommendations