13 research outputs found
An algorithmic approach to verification of intransitive non-interference in security policies
No full textDiscrete event systems approach to the verification of the information flow properties in secure protocols
No full text
Characterizing intransitive noninterference for 3-domain security policies with observability
No full text
Chemical characterization, antioxidant, anticholinesterase and alpha-glucosidase potentials of essential oil of Rosmarinus tournefortii de noé
No full textEffect of extraction solvent on phenolic composition, antioxidant and antibacterial activities of skin and pulp of Tunisian red and yellowâorange Opuntia Ficus Indica fruits
No full textFunctional Properties, Total Phenolic Content and Antioxidant Activity of Purple Cactus Pear (Opuntia ficus-indica) Waste: Comparison with Commercial Fibers
No full textCactus pear antioxidants: a comparison between fruit pulp, fruit peel, fruit seeds and cladodes of eight different cactus pear cultivars (Opuntia ficus-indica and Opuntia robusta)
No full text
