Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model

American Journal of Applied Sciences - United States
doi 10.3844/ajassp.2008.1117.1126
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Science Publications

Related search

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
2018English

Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking

SPIIRAS Proceedings
ControlSystems EngineeringInformation SystemsComputer NetworksApplied MathematicsMathematicsCommunicationsComputer Science ApplicationsComputational TheoryComputational MathematicsArtificial Intelligence
2014English

Fuzzy Logic for Software Metric Models Throughout the Development Life-Cycle

English

Logic Controllers Dependability Verification Using a Plant Model

IFAC Proceedings Volumes
2006English

A Security Policy Model for Agent Based Service-Oriented Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Towards a Unified Modeling and Verification of Network and System Security Configurations

2013English

Perpetual Development: A Model of the Linux Kernel Life Cycle

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2012English

Life Cycle Assessment Integrated Into Positive Mathematical Programming: A Conceptual Model for Analyzing Area-Based Farming Policy

Japan Agricultural Research Quarterly
EcologyCrop ScienceAnimal ScienceZoologyBiotechnologyAgronomy
2010English

Towards Life Cycle Sustainability Assessment

Sustainability
DevelopmentManagementMonitoringEnvironmental ScienceRenewable EnergyEnergy EngineeringLawSustainabilityPlanningPolicyPower Technologythe EnvironmentGeography
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy