308 search results - page 61 / 62 » A structure preserving approach for securing XML documents |
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
EDBTW
2010
Springer
13 years 9 months ago
2010
Springer
Due to the growing importance of the World Wide Web, archiving it has become crucial for preserving useful source of information. To maintain a web archive up-to-date, crawlers ha...
MIDDLEWARE
2007
Springer
14 years 5 months ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
100
click to vote
POPL
2006
ACM
14 years 11 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
BIRTHDAY
2003
Springer
14 years 4 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...