Abstract
Nowadays, blogs are regarded as standard text-based communication tools on the internet. In contrast to traditional web pages, the blog has several significant features: it allows authoring via a web browser, and offers automatic backlink requesting, called trackback. The latter provides direct communication between blog servers. In this paper, we propose a distributed computation method based on trackback communication and present the implementation of a software verification system based on distributed computing. The software verification system consists of ordinary blog systems which are used as frontend interfaces, and verification blog bots which are used as backend inference engines. One of the prominent features is that one can limit the danger of intrusion into vulnerable verifier programs to the private networks where the verification blog bots are operated.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The Official Web Site of Movable Type, http://www.movabletype.org/
The Official Web Site of WordPress.com, http://wordpress.org/
Andrews, G.R.: Foundations of Multithreaded, Parallel and Distributed Programming. Addison-Wesley (2000)
RFC 3530, Network File System (NFS) Version 4 Protocol, http://www.ietf.org/rfc/rfc3530.txt
RFC 1034, Domain Names – Concept and Facilities, http://www.ietf.org/rfc/rfc1034.txt
SETI@home, http://setiathome.berkley.edu/
Tomioka, D., Nishizaki, S., Ikeda, R.: A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. In: Futatsugi, K., Mizoguchi, F., Yonezaki, N. (eds.) ISSS 2003. LNCS, vol. 3233, pp. 25–44. Springer, Heidelberg (2004)
Ikeda, R., Narita, K., Nishizaki, S.: Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems. International Journal of Computers and Applications 33(4), 323–329 (2011)
Homepage of XML-RPC, http://xmlrpc.scripting.com/default.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sasajima, T., Nishizaki, Sy. (2012). Blog-Based Distributed Computation. In: Liu, B., Ma, M., Chang, J. (eds) Information Computing and Applications. ICICA 2012. Lecture Notes in Computer Science, vol 7473. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34062-8_60
Download citation
DOI: https://doi.org/10.1007/978-3-642-34062-8_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34061-1
Online ISBN: 978-3-642-34062-8
eBook Packages: Computer ScienceComputer Science (R0)