Given image sequences of closely packed particles, the underlying aim is to estimate diameters without explicit segmentation. In a way, this is similar to the t
A new approach is proposed for analyzing non-repudiation and fairness of e-commerce protocols. The authentication e-mail protocol CMP1 is modeled as finite stat