890 search results - page 123 / 178 » Programming language methods in computer security |
95
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
97
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
84
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
84
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Fred Brooks’ retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interp...
132
Voted
MCMASTER
1993
15 years 4 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...