Measuring the risk of a financial portfolio involves two steps: estimating the loss distribution of the portfolio from available observations and computing a ``risk measure" which summarizes the risk of the portfolio. We define the notion of ``risk measurement procedure", which includes both of...