Modeling of virus propagation in peer-to-peer file-sharing networks