Session management in broadcast networks with dynamic addresses

The method of dynamically assigned addresses is an alternative to the traditional method of preassigned addresses. The dynamic approach requires protocols for assigning/unassigning addresses, along with some kind of mechanism which distributes infonnation about assigned/unassigned addresses to netwolX stations and manages sessions between stations. In , the present wode we investigate'the second issue in relation to bIQadcast netwodes, present three possible models for address distrib~tion, define the properties required for correct operation and prove that our proposed protocols posses these properties.