TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 63 records were found in 0.297 seconds
On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols
SECRYPT, 441-446, 2010
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
ISBN: 3-540-25559-13455, 2005
Using a Process Algebra to Control B Operations
IFM, 437-456, 1999