2575 search results - page 333 / 515 » Providing security with insecure systems |
155
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
151
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The SPARQL Query Language allows filtering of query results through arbitrary predicate expressions. Such expressions may invoke custom functions identified with IRIs, ...
162
click to vote
OOPSLA
2004
Springer
16 years 8 hour ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
168
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
163
click to vote
ISN
1998
Springer
15 years 11 months ago
1998
Springer
Enterprise models, based on the responsibilities and relationships underlying market activities, are used to provide a framework for representing and analysing the activity of bro...