3119 search results - page 332 / 624 » General Default Logic |
185
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
154
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...
191
click to vote
IWSEC
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents efficient secure auction protocols for first price auction and second price auction. Previous auction protocols are based on a generally secure multi-party prot...
296
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
203
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...