BS ISO/IEC 29128:2011 BSI Standards Publication Information technology - Security techniques - Verification of cryptographic protocols bsi. ..making excellence a habit? BSISO/IEC29128:2011 BRITISH STANDARD National foreword This British Standard is the UK implementation of ISO/IEC 29128:2011. The UK participation in its preparation was entrusted to Technical Committee IST/33, IT - Security techniques. A list of organizations represented on this committee can be obtained on request to its secretary. This publication does not purport to include all the necessary provisions of a contract. Users are responsible for its correct application. @The British Standards Institution 2012 ISBN978 0580651076 ICS 35.040 Compliance with a British Standard cannot confer immunity from legal obligations. This British Standard was published under the authority of the Standards Policy and Strategy Committee on 31January 2012. Amendments issued since publication Date Text affected BSISO/IEC29128:2011 INTERNATIONAL ISO/IEC STANDARD 29128 First edition 2011-12-15 Information technology Security techniques Verification of cryptographic protocols Technologies de linformationTechniques de sécuriteVerification des protocoles cryptographiques Reference number ISO/IEC29128:2011(E) IEO ISO @ISO/IEC2011