The incremental development of software through the addition of new features and the insertion of new access rules potentially renders the access control models inconsistent and creates security flaws. This paper proposes modeling Role Based Access Control (RBAC) models of these software using...

We consider a priori error analysis for a discretization of a linear quadratic parabolic optimal control problem with box constraints on the time-dependent control variable. For such problems one can show that a time-discrete solution with second order convergence can be obtained by a first...

We study the efficient frontier problem of maximizing the expected utility of terminal wealth and minimizing the conditional VaR of the utility loss. We establish the existence of the optimal solution with the convex duality analysis. We find the optimal value of the constrained problem with the...

We study the efficient frontier problem of maximizing the expected utility of terminal wealth and minimizing the conditional VaR of the utility loss. We establish the existence of the optimal solution with the convex duality analysis. We find the optimal value of the constrained problem with the...