3086 search results - page 432 / 618 » Developing Secure Web Applications |
158
Voted
CIA
1998
Springer
15 years 6 months ago
1998
Springer
The paradigm of mobile agents offers a powerful and flexible ity to develop distributed applications on a high-level of abstraction. One of the most interesting tasks for mobile ag...
119
click to vote
ITP
2010
15 years 6 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
112
click to vote
ISI
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. With such data, it becomes possible to...
149
click to vote
EUROPKI
2009
Springer
15 years 1 days ago
2009
Springer
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
WWW
2001
ACM
16 years 2 months ago
2001
ACM
While the information resources on the Web are vast, the sources are often hard to find, painful to use, and difficult to integrate. We have developed the Heracles framework for b...