Sciweavers

4052 search results - page 439 / 811
» Information Technology in Developing Countries
Sort
View
INAP
2001
Springer
15 years 11 months ago
Content-based Management of Document Access Control
Three different security models have been advocated to determine the access rights to documents in a network of computers; DAC, MLS, and RBAC. Each of these models has its strengt...
Edgar Weippl, Ismail Khalil Ibrahim, Werner Winiwa...
ISW
2001
Springer
15 years 11 months ago
Suitability of a Classical Analysis Method for E-commerce Protocols
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
Sigrid Gürgens, Javier Lopez
MMMACNS
2001
Springer
15 years 11 months ago
Open Issues in Formal Methods for Cryptographic Protocol Analysis
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
Catherine Meadows
OOIS
2001
Springer
15 years 11 months ago
Towards a Model-Driven Approach to Reuse
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
Robert B. France, Sudipto Ghosh, Daniel E. Turk
ICEIS
2000
IEEE
15 years 11 months ago
World Wide News Gathering Automatic Management
The world-wide-web does not support referential integrity, i.e. dangling references do exist. This can be very annoying; in particular, if a user pays for some service in the form...
Luís Veiga, Paulo Ferreira