1357 search results - page 16 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
SEC
2004
13 years 8 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
CCS
2000
ACM
13 years 12 months ago
2000
ACM
The extensible markup language (XML) is a promising standard for describing semi-structured information and contents on the Internet. When XML comes to be a widespread data encodi...
CAI
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
HICSS
2003
IEEE
14 years 24 days ago
2003
IEEE
The extensible markup language (XML) is a standard for describing information on the Internet and is quickly becoming the most preferred way to store and exchange information. The...