956 search results - page 190 / 192 » A security framework for agent-based systems |
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—A firewall is a security guard placed between a private network and the outside Internet that monitors all incoming and outgoing packets. The function of a firewall is to exam...
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...