1078 search results - page 6 / 216 » Modelling and Verifying of e-Commerce Systems |
JCS
2008
14 years 11 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
FMSD
2000
14 years 11 months ago
2000
108
Voted
SIGECOM
2003
ACM
15 years 5 months ago
2003
ACM
Peer-to-Peer eCommerce communities are commonly perceived as an environment offering both opportunities and threats. One way to minimize threats in such an open community is to us...
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...