4340 search results - page 113 / 868 » Formal Methods and Cryptography |
118
click to vote
ZUM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
139
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
A sensitive point in public key cryptography is how to protect the private key. We outline a method of protecting private keys using cryptographic camouflage. Specifically, we do ...
154
click to vote
WSC
2007
15 years 6 months ago
2007
In this paper, we propose a new asymmetric cryptographic algorithm (HOOD CRYPT) based on the Elliptical Curve Cryptographic approach. The algorithm describes how an orthogonal fre...
144
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
127
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...