351 search results - page 23 / 71 » Towards a General Framework for Modelling Roles |
CCS
2007
ACM
14 years 2 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
EURODAC
1995
IEEE
13 years 11 months ago
1995
IEEE
Due to the ever increasing complexity of electronic system (ES) design, the conceptual design phase and its realization in later phases of the design stream have become increasing...
TIP
2011
13 years 2 months ago
2011
In this paper we present a novel geometric framework called geodesic active fields for general image registration. In image registration, one looks for the underlying deformation ...
ICNS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
CSFW
2002
IEEE
14 years 26 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...