Modeling and Verifying Security Policies in Business Processes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Enterprise, Business-Process and Information Systems Modeling
Editors	I. Bider, K. Gaaloul, J. Krogstie, S. Nurcan, H. Proper, R. Schmidt, P. Soffer
Pages	200-214
Number of pages	15
Publication status	Published - 2014

bpmds14

Cite this

@inproceedings{4e70d512207c442dafbcb9e96b60c6ea,

title = "Modeling and Verifying Security Policies in Business Processes",

author = "M. Salnitri and F. Dalpiaz and P. Giorgini",

note = "bpmds14",

year = "2014",

language = "Undefined/Unknown",

pages = "200--214",

editor = "I. Bider and K. Gaaloul and J. Krogstie and S. Nurcan and H. Proper and R. Schmidt and P. Soffer",

booktitle = "Enterprise, Business-Process and Information Systems Modeling",

}

Modeling and Verifying Security Policies in Business Processes. / Salnitri, M.; Dalpiaz, F.; Giorgini, P.
Enterprise, Business-Process and Information Systems Modeling. ed. / I. Bider; K. Gaaloul; J. Krogstie; S. Nurcan; H. Proper; R. Schmidt; P. Soffer. 2014. p. 200-214.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Modeling and Verifying Security Policies in Business Processes

AU - Salnitri, M.

AU - Dalpiaz, F.

AU - Giorgini, P.

N1 - bpmds14

PY - 2014

Y1 - 2014

M3 - Conference contribution

SP - 200

EP - 214

BT - Enterprise, Business-Process and Information Systems Modeling

A2 - Bider, I.

A2 - Gaaloul, K.

A2 - Krogstie, J.

A2 - Nurcan, S.

A2 - Proper, H.

A2 - Schmidt, R.

A2 - Soffer, P.

ER -