Sciweavers

4340 search results - page 41 / 868
» Formal Methods and Cryptography
Sort
View
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
15 years 3 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
ICFCA
2004
Springer
15 years 5 months ago
Signs and Formal Concepts
Uta Priss
ISW
1997
Springer
15 years 3 months ago
Signcryption and Its Applications in Efficient Public Key Solutions
Signcryption is a new paradigm in public key cryptography that simultaneously fulfills both the functions of digital signature and public key encryption in a logically single step,...
Yuliang Zheng