5475 search results - page 952 / 1095 » Model Driven Security |
159
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 ...
151
click to vote
ICAPR
2005
Springer
15 years 12 months ago
2005
Springer
The ATRIUM project aims to the automatic detection of threats hidden under clothes using millimetre-wave imaging. We describe a simulator of realistic millimetre-wave images and a...
157
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
Data protection is an increasingly important issue in today’s communication networks. Traditional solutions for protecting data when transferred over a network are almost exclusi...
207
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Code clones in software increase maintenance cost and lower software quality. We have devised a new algorithm to detect duplicated parts of source code in large software. Our algo...
113
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents Classages, a novel interaction-centric object-oriented language. Classes and objects in Classages are fully encapsulated, with explicit interfaces for all inte...