• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.

Leon J. OsterweilMatt BishopHeather M. ConboyHuong PhanBorislava I. SimidchievaGeorge S. AvruninLori A. ClarkeSean Peisert
Published in: ACM Trans. Priv. Secur. (2017)
Keyphrases
  • key properties
  • data analysis
  • statistical databases
  • information systems
  • intrusion detection
  • information security
  • formal analysis