3086 search results - page 575 / 618 » Developing Secure Web Applications |
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
ANCS
2005
ACM
14 years 2 months ago
2005
ACM
High-speed packet content inspection and filtering devices rely on a fast multi-pattern matching algorithm which is used to detect predefined keywords or signatures in the packe...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
DAWAK
2003
Springer
14 years 2 months ago
2003
Springer
In a data warehouse (DW) environment, when the operational environment does not posses or does not want to inform the data about the changes that occurred, controls have to be impl...
ODRL
2004
13 years 10 months ago
2004
Two main Rights Expression Languages (RELs) exist to describe licenses governing the access to digital content: ODRL (Open Digital Rights Language) and MPEG-21 REL. Both RELs are ...