Ebonie Williams

Learn More
error prone. It was demonstrated repeatedly, that SMV is a very powerful and efficient specification proofreader. Model checking with SMV has sufficient capacity to analyze complete specifications of real-life directory based cache coherency protocols, within the aggressive time schedule of a computer design project. It helped us find several problems in(More)
Content Management Systems (CMS) simplify the process of web content creation, publication, and management. Many CMS platforms are extensible via third party developed applications providing additional functionality such as search, site navigation, and location services. However, most CMS platforms don't have manageable access control mechanisms that(More)
In recent years, web services have become a new application over the open, complex internet. In that, web services security issues have become more and more important. But, there is no effective access control method to assure the web service security. This paper proposes a simple and effective formalization of concepts that have to be supported for(More)
  • 1