Search box for views and tags
You create a search box for Views by adding a filter and then setting it to be "exposed". This creates a form by which the user can set filter values such as tags. 

You don't need any special module for tagging under normal circumstances as the core Taxonomy module works perfectly well.