Sign inSubmit
Research Article · Open access · Published 30 September 2008

Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model

Luay A. Wahsheh, Jim Alves-Foss
ArticleArticle metrics

Since publication

7,338Views
5,281PDF downloads
5Citations (Crossref)

Views and downloads by month

NovDecJanFebMarAprMayJunJulAugSepOct
Views PDF downloadsLast 12 months, counted as COUNTER asks (robots and repeat clicks within 30 seconds left out)
Show as a table
Views and downloads by month
MonthViewsDownloads
Nov 202514899
Dec 202513096
Jan 2026143102
Feb 202612767
Mar 2026169110
Apr 2026135163
May 2026168113
Jun 2026196132
Jul 2026160127
Aug 20269892
Sep 202613188
Oct 2026115102

Citing articles (5)

Read from Crossref’s cited-by service every week, newest first.

  1. doi:10.70675/29b5883bz5d13z4d69za971zb6c4dfb9aa4cFound 7 October 2026
  2. doi:10.1109/prdc.2008.45Found 12 June 2020
  3. doi:10.1201/b11149-32Found 12 June 2020
  4. doi:10.1007/978-3-662-44885-4_10Found 12 June 2020
  5. doi:10.1016/j.cose.2016.06.002Found 12 June 2020