-
1
-
-
33745329295
-
Computability classes for enforcement mechanisms
-
K. W. Hamlen, G. Morrisett, and F. B. Schneider, "Computability classes for enforcement mechanisms," TOPLAS, vol. 28, no. 1, pp. 175-205, 2006.
-
(2006)
TOPLAS
, vol.28
, Issue.1
, pp. 175-205
-
-
Hamlen, K.W.1
Morrisett, G.2
Schneider, F.B.3
-
2
-
-
60349103393
-
Run-time enforcement of nonsafety policies
-
J. Ligatti, L. Bauer, and D. Walker, "Run-time enforcement of nonsafety policies," ACM Trans. Inf. Syst. Secur., vol. 12, no. 3, pp. 1-41, 2009
-
(2009)
ACM Trans. Inf. Syst. Secur
, vol.12
, Issue.3
, pp. 1-41
-
-
Ligatti, J.1
Bauer, L.2
Walker, D.3
-
3
-
-
33845638417
-
How to break access control in a controlled manner
-
IEEE
-
A. Ferreira, R. Cruz-Correia, L. Antunes, P. Farinha, E. Oliveira-Palhares, D. W. Chadwick, and A. Costa-Pereira, "How to break access control in a controlled manner," in Proc. of Symp. on Computer-Based Medical Systems. IEEE, 2006, pp. 847-854.
-
(2006)
Proc. of Symp. on Computer-Based Medical Systems
, pp. 847-854
-
-
Ferreira, A.1
Cruz-Correia, R.2
Antunes, L.3
Farinha, P.4
Oliveira-Palhares, E.5
Chadwick, D.W.6
Costa-Pereira, A.7
-
4
-
-
77953168483
-
Improving personal health records for patient-centered care
-
S. R. Reti, H. J. Feldman, S. E. Ross, and C. Safran, "Improving personal health records for patient-centered care," JAMIA, vol. 17, no. 2, pp. 192-195, 2010.
-
(2010)
JAMIA
, vol.17
, Issue.2
, pp. 192-195
-
-
Reti, S.R.1
Feldman, H.J.2
Ross, S.E.3
Safran, C.4
-
5
-
-
50249144000
-
Regulating exceptions in healthcare using policy spaces
-
Springer
-
C. A. Ardagna, S. De Capitani di Vimercati, T. Grandison, S. Jajodia, and P. Samarati, "Regulating exceptions in healthcare using policy spaces," in Data and Applications Security, ser. LNCS 5094. Springer, 2008, pp. 254-267.
-
(2008)
Data and Applications Security, Ser. LNCS
, vol.5094
, pp. 254-267
-
-
Ardagna, C.A.1
De Capitani, S.2
Vimercati, D.3
Grandison, T.4
Jajodia, S.5
Samarati, P.6
-
6
-
-
76249104125
-
Declarative specification and verification of service choreographiess
-
M. Montali, M. Pesic, W. M. P. van der Aalst, F. Chesani, P. Mello, and S. Storari, "Declarative specification and verification of service choreographiess," TWEB, vol. 4, no. 1, pp. 3:1-3:62, 2010
-
(2010)
TWEB
, vol.4
, Issue.1
, pp. 301-362
-
-
Montali, M.1
Pesic, M.2
Van Der Aalst, W.M.P.3
Chesani, F.4
Mello, P.5
Storari, S.6
-
7
-
-
80052772821
-
Purpose control: Did you process the data for the intended purpose?
-
Springer
-
M. Petkovic, D. Prandi, and N. Zannone, "Purpose control: Did you process the data for the intended purpose?" in Secure Data Management, ser. LNCS 6933. Springer, 2011, pp. 145-168.
-
(2011)
Secure Data Management, Ser. LNCS
, vol.6933
, pp. 145-168
-
-
Petkovic, M.1
Prandi, D.2
Zannone, N.3
-
8
-
-
80054889108
-
Conformance checking using cost-based fitness analysis
-
IEEE
-
A. Adriansyah, B. F. van Dongen, and W. M. P. van der Aalst, "Conformance Checking Using Cost-Based Fitness Analysis," in Proc. of Int. Enterprise Distributed Object Computing Conf. IEEE, 2011, pp. 55-64.
-
(2011)
Proc. of Int. Enterprise Distributed Object Computing Conf
, pp. 55-64
-
-
Adriansyah, A.1
Dongen, B.F.2
Van Der Aalst, W.M.P.3
-
9
-
-
84859127165
-
Replaying history on process models for conformance checking and performance analysis
-
W. M. P. van der Aalst, A. Adriansyah, and B. F. van Dongen, "Replaying History on Process Models for Conformance Checking and Performance Analysis," WIREs Data Mining and Knowledge Discovery, vol. 2, no. 2, pp. 182-192, 2012.
-
(2012)
WIREs Data Mining and Knowledge Discovery
, vol.2
, Issue.2
, pp. 182-192
-
-
Van Der Aalst, W.M.P.1
Adriansyah, A.2
Dongen, B.F.3
-
10
-
-
84893624831
-
Memory-efficient alignment of observed and modeled behavior
-
bPM Center Report BPM-03-03
-
A. Adriansyah, B. van Dongen, and W. van der Aalst, "Memory- Efficient Alignment of Observed and Modeled Behavior," BPMcenter. org, Tech. Rep., 2013, bPM Center Report BPM-03-03
-
(2013)
BPMcenter. Org, Tech. Rep
-
-
Adriansyah, A.1
Van Dongen, B.2
Van Der Aalst, W.3
-
11
-
-
84873190420
-
A Process deviation analysis framework
-
Springer
-
B. Depaire, J. Swinnen, Mieke, and K. Vanhoof, "A Process Deviation Analysis Framework," in Business Process Management Workshops, ser. LNBIP 132. Springer, 2013, pp. 701-706.
-
(2013)
Business Process Management Workshops, Ser. LNBIP
, vol.132
, pp. 701-706
-
-
Depaire, B.1
Swinnen Mieke, J.2
Vanhoof, K.3
-
12
-
-
84866384886
-
Measuring privacy compliance using fitness metrics
-
Springer
-
S. Banescu, M. Petkovic, and N. Zannone, "Measuring privacy compliance using fitness metrics," in Business Process Management, ser. LNCS 7481. Springer, 2012, pp. 114-119.
-
(2012)
Business Process Management, Ser. LNCS
, vol.7481
, pp. 114-119
-
-
Banescu, S.1
Petkovic, M.2
Zannone, N.3
|