You can configure the navigation tree in the navigation editor; double click Navigation in the project explorer. The right panel is used for configuring the navigation tree. Per menu in the left panel you can configure a tree of items pointing to forms or microflows. To make sure that you see the navigation tree you have to check the option 'Show navigation tree' in the server settings. The tree will only show those forms and microflows to which the end user has access.