A symbolic framework for multi- faceted security protocol analysis