741 search results - page 5 / 149 » Abstract Machines for Communication Security |
MSE
2002
IEEE
14 years 9 days ago
2002
IEEE
Narnia is middleware that helps programmers build multimedia communication services. This middleware ollection of familiar programming abstractions— including events, event hand...
ICDCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
ISCIS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
ICCS
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...