1950 search results - page 276 / 390 » Lambda-Free Logical Frameworks |
203
click to vote
AIIA
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
181
click to vote
SCAM
2008
IEEE
16 years 26 days ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
230
click to vote
ESOP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
208
click to vote
HT
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
249
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...