Abstract: A model checking system configures a formal compliance document with remediation actions to correct security conflicts in an IAM system. The system applies a model checker on an abstract model of the IAM system to identify security conflicts and identifies remediation actions from the formal compliance document. The system applies the model checker after applying the first remediation action and determines whether the first remediation action creates another security conflict. If a remediation action is identified that does not create a new security conflict, then the system applies the identified remediation action. The formal compliance document is updated accordingly. When an operator revises code for a policy change, the system will apply the model checker on an abstract model of the IAM system with the code revision to identify security conflicts. If new security conflicts are not created in the simulation, then the system may deploy the code revision.

Abstract: The present invention provide a method of conveying and classifying content and services of all kind of data sources over a global media information network system to provide end user with most relevant data content and services available fitting his preferences, habits and taste. It is thus another object of the invention to provide the media suppliers with method and system for personalizing and managing their information and services to achieve efficient transformation and regulation of content to their clients.

Abstract: A system for nitrate removal from aquariums, both fresh water and marine aquariums, by means of permeable polymeric beads which contain a combination of fermentative and denitrifying bacteria and a carbon source. Preferred beads are beads made from sodium alginate or chitosan. The bacteria, in the presence of the carbon source, are able to reduce nitrate to nitrogen gas. Bacteria which are not harmful to fish are used. The porous beads used in the process are novel and part of the invention.