Valuation of credit default swap (CDS)