Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jim Alves-Foss
Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model
American Journal of Applied Sciences
Multidisciplinary
Network Authentication Protocol Studies
Related publications
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
Fuzzy Logic for Software Metric Models Throughout the Development Life-Cycle
Logic Controllers Dependability Verification Using a Plant Model
IFAC Proceedings Volumes
A Security Policy Model for Agent Based Service-Oriented Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Unified Modeling and Verification of Network and System Security Configurations
Perpetual Development: A Model of the Linux Kernel Life Cycle
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Life Cycle Assessment Integrated Into Positive Mathematical Programming: A Conceptual Model for Analyzing Area-Based Farming Policy
Japan Agricultural Research Quarterly
Ecology
Crop Science
Animal Science
Zoology
Biotechnology
Agronomy
Towards Life Cycle Sustainability Assessment
Sustainability
Development
Management
Monitoring
Environmental Science
Renewable Energy
Energy Engineering
Law
Sustainability
Planning
Policy
Power Technology
the Environment
Geography
