abac16-command.tex

%\newcommand{\labac}{$LaBAC_{1}$}
%\newcommand{\clabac}{$LaBAC_{0}$}
%\newcommand{\hlabac}{$LaBAC_{H}$}
\newcommand{\slabac}{$LaBAC_{S}$}
%\newcommand{\consLabac}{$LaBAC_{C}$}

\newcommand{\elabac}{$LaBAC_{E}^{1,1}$}

\newcommand{\clabacOneTwo}{$LaBAC_{0}$}
\newcommand{\hlabacOneTwo}{$LaBAC_{1}$}
\newcommand{\hlabacOneTwoTwo}{$LaBAC_{0}^{2,2}$}
\newcommand{\labacZeroTwoTwo}{$LaBAC_{0}^{2,2}$}
%\newcommand{\labacOneOneOne}{$LaBAC_{1}$}
\newcommand{\labacZeroOneOne}{$LaBAC_{0}$}
\newcommand{\labacZeroMN}{$LaBAC_{0}^{m,n}$}
\newcommand{\abacAlpha}{ABAC_\alpha}
\newcommand{\hgabac}{HGABAC}
\newcommand{\uLabel}{uLabel}
\newcommand{\oLabel}{oLabel}

\newcommand{\uLabelOne}{uLabel_1}
\newcommand{\oLabelOne}{oLabel_1}
\newcommand{\uLabelTwo}{uLabel_2}
\newcommand{\oLabelTwo}{oLabel_2}
\newcommand{\canAddPolicy}{can\_manage\_policy}



%-- LaBAC new commands---

\newcommand{\lb}{ }
\newcommand{\OBJ}{O}
\newcommand{\objmem}{o}
\newcommand{\U}{U}
\newcommand{\umem}{u}
\newcommand{\amem}{a}
\newcommand{\A}{A}
\newcommand{\OL}{OL}
\newcommand{\UL}{UL}
\newcommand{\OLV}{OL}
\newcommand{\olvmem}{ol}
\newcommand{\ULV}{UL}
\newcommand{\ulvmem}{ul}
\newcommand{\OLA}{OLA}
\newcommand{\ULA}{ULA}
\newcommand{\OLH}{OLH}
\newcommand{\ULH}{ULH}

\newcommand{\Policy}{Policy}
\newcommand{\policy}{Policy}

\newcommand{\creator}{creator}

\newcommand{\odominate}{\succeq_{ol}}
\newcommand{\udominate}{\succeq_{ul}}

\newcommand{\allowedLabels}{allowed\_counter\_labels}
\newcommand{\restrictedTuples}{RestrictedTuples}



\newcommand{\oLabelH}{oLabel^*}
\newcommand{\uLabelH}{uLabel^*}
\newcommand{\impliedPolicy}{ImpliedPolicy}
\newcommand{\effectivePolicy}{Effective\_policy}
\newcommand{\policyBound}{ValidTuples}
\newcommand{\sessionLabels}{s\_labels}
\newcommand{\CircuitSAT}{CircuitSAT}
\newcommand{\maxPolicy}{|policy|_{max}}
\newcommand{\maxPolicySet}{|\policy|_{max}}
\newcommand{\request}{is\_authorized}



\newcommand{\requestContext}{ReqContext}
\newcommand{\reviewFunction}{R}

\newcommand{\sABAC}{$ABAC_s$}

\newcommand{\twoSortedRBAC}{2-sorted-RBAC}
\newcommand{\properRole}{R^+}
\newcommand{\properRoleHierarchy}{R^+H}
\newcommand{\demarcationHierarchy}{D^+H}
\newcommand{\roles}{R^+}
\newcommand{\RH}{R^+H}
\newcommand{\demarcation}{D^+}
\newcommand{\DeH}{D^+H}
\newcommand{\PD}{PD^+}
\newcommand{\SR}{SR^+}

%----------------Session / object creation functions--------------%
\newcommand{\createSession}{create\_session}
\newcommand{\deleteSession}{delete\_session}
\newcommand{\assignValues}{assign\_values}
\newcommand{\removeValues}{remove\_values}
\newcommand{\createReq}{session^+}
\newcommand{\removeReq}{session^-}
\newcommand{\sessionOL}{session}
\newcommand{\createObject}{create\_object}
\newcommand{\updateObject}{update\_OL\_values}
\newcommand{\assignLabels}{assign\_OL\_values}
\newcommand{\removeLabels}{remove\_OL\_values}

\newcommand{\createUser}{create\_user}
\newcommand{\assignULLabels}{assign\_UL\_values}
\newcommand{\removeULLabels}{remove\_UL\_values}

%-------------Policy Machine Command--------------------%
\newcommand{\pmMini}{PM_{mini}}
\newcommand{\assignment}{ASSIGN}
\newcommand{\assignmentPlus}{\assignment^+}
\newcommand{\assignmentStar}{\assignment^*}
\newcommand{\assignmentOOA}{\assignment_{ooa}}
\newcommand{\assignmentUUA}{\assignment_{uua}}
\newcommand{\assignmentOAOA}{\assignment_{oaoa}}
\newcommand{\assignmentUAUA}{\assignment_{uaua}}
\newcommand{\assignmentATPC}{\assignment_{atpc}}
\newcommand{\association}{ASSOCIATION}
\newcommand{\associationPolicy}{\association_{policy}}
\newcommand{\decisionFunction}{allow\_resource\_request}
\newcommand{\allAssignment}{ASSIGN}
\newcommand{\allAssociation}{ASSOC}
\newcommand{\peAssoc}{PC\_ASSOC}
\newcommand{\peAssign}{PC\_ASSIGN}
\newcommand{\assignmentLabac}{\assignment}