1210 search results - page 128 / 242 » Secure Logic Synthesis |
IJCAI
1993
14 years 11 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
100
click to vote
IJSSE
2011
14 years 5 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
LOGCOM
2008
14 years 10 months ago
2008
Following recent developments in the topic of generalized quantifiers, and also having in mind applications in the areas of security and artificial intelligence, a conservative en...
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...