1089 search results - page 153 / 218 » Secure Cookies on the Web |
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
119
click to vote
TRUSTBUS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
104
click to vote
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Address-space randomization (ASR) is a promising solution to defend against memory corruption attacks that have contributed to about three-quarters of USCERT advisories in the pas...
IEEEARES
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a novel approach for the implementation of efficient and dependable web service engines (WSEs). A WSE instance represents a single node in a distributed network of par...
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
During the past decade there have been significant advances in the field of Natural Language Processing (NLP) and, in particular, Information Extraction (IE) [2] which have fueled...