Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Options

• Formats: pdf
• ISBN: 9783642160745
• Publication Date: 5 Oct 2010
• Publisher: Springer Berlin Heidelberg
• Product language: English
• Drm Setting: DRM