3811 search results - page 436 / 763 » The Safe-Tcl Security Model |
209
click to vote
ACSW
2003
15 years 8 months ago
2003
This paper explores the complications encountered when attempting to create a secure pervasive computing environment. The model introduced in this paper is primarily conceptual. T...
177
click to vote
ISSA
2004
15 years 8 months ago
2004
: Web services are generally accepted as the most interoperable application interface today on the Web. In the context of a global electronic marketplace this is an essential facto...
196
click to vote
DBSEC
2000
15 years 8 months ago
2000
There are many technologies for distributed processing/interoperation, including CORBA, DCE, DCOM, Enterprise Java Beans, Java IDL, JDBC, etc. Most promising, is the emergence of ...
179
click to vote
DASFAA
2010
IEEE
15 years 7 months ago
2010
IEEE
Achieving data security over cooperating web services is becoming a reality, but existing XML access control architectures do not consider this federated service computing. In this...
216
Voted
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...