243 search results - page 49 / 49 » Secure mobile agent systems using Java: where are we heading |
118
click to vote
MFCS
2004
Springer
15 years 8 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
124
click to vote
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...
167
click to vote
ISI
2006
Springer
15 years 3 months ago
2006
Springer
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...