Titel

Merkliste
1 Ergebnisse

Iterative Analysis to Improve Key Properties of Critical Hu..:

Osterweil, Leon J. ; Bishop, Matt ; Conboy, Heather M....
ACM Transactions on Privacy and Security (TOPS). 20 (2017) 2 - p. 1-31 , 2017

Link: https://dl.acm.org/doi/10.1145/3041041

RT Journal
T1 <Title>Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes				: An Election Security Example</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3041041&Exemplar=1&LAN=DE
				
A1 Osterweil, Leon J.
A1 Bishop, Matt
A1 Conboy, Heather M.
A1 Phan, Huong
A1 Simidchieva, Borislava I.
A1 Avrunin, George S.
A1 Clarke, Lori A.
A1 Peisert, Sean
PB ACM
YR 2017
SN 2471-2566
SN 2471-2574
K1 Process modeling
K1 elections
K1 fault tree analysis
K1 iterative analysis
K1 model checking
K1 Software and its engineering
K1 Software notations and tools
K1 System description languages
K1 Specification languages
K1 Social and professional topics
K1 Professional topics
K1 Computing and business
K1 Software creation and management
K1 Software development techniques
K1 Management of computing and information systems
JF ACM Transactions on Privacy and Security (TOPS)
VO 20
IS 2
SP 1
OP 31
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3041041
DO https://dl.acm.org/doi/10.1145/3041041
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)