8644 search results - page 1468 / 1729 » On the Composition of Secure Systems |
174
click to vote
FOSSACS
2005
Springer
16 years 8 days 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 ...
211
click to vote
GCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
162
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Genetic Programming (GP) based Intrusion Detection Systems (IDS) use connection state network data during their training phase. These connection states are recorded as a set of fe...
161
click to vote
ICAPR
2005
Springer
16 years 8 days 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...
171
click to vote
ICIAR
2005
Springer
16 years 7 days ago
2005
Springer
As digitalized content rapidly proliferates in networked systems, content security necessarily arises as one of the most important issues. Many developers have studied techniques ...