Cost-aware secure protocol design and analysis