3233 search results - page 527 / 647 » Rule Modeling and Markup |
154
click to vote
CSL
2000
Springer
15 years 9 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
128
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
153
Voted
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
163
Voted
AMET
1998
Springer
15 years 8 months ago
1998
Springer
Automated negotiation has been of particular interest due to the relevant role that negotiation plays among trading agents. This paper presents two types of agent architecture: Cas...
158
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...