2213 search results - page 339 / 443 » Software Security |
160
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
157
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
161
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
182
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
146
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they de...