This paper sets up a model for the valuation of traditional participating life insurance policies. These claims are characterized by their explicit interest rate guarantees and by various embedded option elements, such as bonus and surrender options. Owing to the structure of these contracts,...