xmlui.dri2xhtml.structural.

Statistics for "Verification of Authentication Protocols for Epistemic Goals via SAT Compilation"

Title:

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Author(s):

Su, Kaile;Chen, Qing-liang;Sattar, Abdul;Yue, Wei-Ya;Lv, Guan-Feng;Zheng, Xi-Zhong

Date Last Updated:

Saturday, March 3, 2007

Statistics are for the period between Thursday, February 1, 2007 and Thursday, May 23, 2013

Set a new date range

Start Date
End Date

Overall Statistics

Brief Views Full Views Downloads Click Throughs
204 1 0 69

Set IP address range

Geographic Statistics

Country Brief Views Full Views Downloads Click Throughs
United States 138 0 0 50
Australia 48 1 0 11
China 6 0 0 1
Korea, Republic of 4 0 0 0
United Kingdom 3 0 0 1
India 2 0 0 1
Norway 1 0 0 0
Germany 1 0 0 0
Finland 1 0 0 0
Spain 1 0 0 1
Russian Federation 1 0 0 0
Sweden 1 0 0 0
Japan 1 0 0 1

Reorder geographical statistics

Limit results to top countries

Monthly statistics for the last twelve months

Month Brief Views Full Views Downloads Click Throughs
May 2013 3 0 0 0
Apr 2013 2 0 0 0
Mar 2013 3 0 0 0
Feb 2013 4 0 0 0
Jan 2013 1 0 0 0
Dec 2012 1 0 0 0
Nov 2012 2 0 0 0
Oct 2012 0 0 0 0
Sep 2012 2 0 0 1
Aug 2012 1 0 0 0
Jul 2012 2 0 0 4
Jun 2012 2 0 0 4
May 2012 1 0 0 1
Total 24 0 0 10

Definition of Terms

  • Brief View: Default publication record
  • Full View: Expanded publication details
  • Download: Attached file which has been opened
  • Click Through: Link to publisher's website which has been clicked