956 search results - page 68 / 192 » A security framework for agent-based systems |
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
USS
2004
14 years 11 months ago
2004
A honeypot is a closely monitored network decoy serving several purposes: it can distract adversaries from more valuable machines on a network, can provide early warning about new...
PDCAT
2005
Springer
15 years 3 months ago
2005
Springer
In this paper security requirements and security architecture for 4G systems are presented with the consideration of Trusted Computing (TC) for mobile equipment (ME). The security...
IEEEMSP
2002
IEEE
15 years 2 months ago
2002
IEEE
—In [1, 2, 3], we have introduced a robust and secure digital signature solution for multimedia content authentication, by integrating content feature extraction, error correctio...
104
click to vote
PADL
2012
Springer
13 years 5 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...