Searching in SWF files needs proper support by the application that you use for viewing your diagram.
GraphMLViewer, the viewer application for the "HTML Flash Viewer" format does not provide a search box. However, you can search directly in the .graphml file that is being exported.