Model-based security analysis for mobile communications

No abstract is available for this paper.

• Publication year

  2008

• Venue

  2008 ACM/IEEE 30th International Conference on Software Engineering

• Publication date

  2008-05-10

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1368088.1368186
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Tools for secure systems development with UML

  2007cited by this paper
• Model-Based Security Engineering of Distributed Information Systems Using UMLsec

  2007cited by this paper
• Model-Based Security Engineering for Real

  2006cited by this paper
• Security Analysis of Crypto-based Java Programs using Automated Theorem Provers

  2006cited by this paper
• Research Methods for the Empirical Assessment of Software Processes

  2005cited by this paper
• Sound methods and effective tools for model-based security engineering with UML

  2005cited by this paper
• Secure software development by example

  2005cited by this paper
• Secure systems development with UML

  2004influential reference
• Modelling and Verification of Layered Security Protocols: A Bank Application

  2003cited by this paper
• Secure systems development based on the common criteria: the PalME project

  2002cited by this paper
• Secure systems development based on the common criteria: the PalME project

  2002cited by this paper
• Empirical studies of software engineering: a roadmap

  2000cited by this paper

• An Exploratory Study on the Engineering of Security Features

  2025cites this paper
• UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering

  2024cites this paper
• An Exploratory Study of Why UMLsec Is Not Adopted

  2022cites this paper
• Security and Privacy Requirements for the Internet of Things

  2021influential citation
• Software Requirements Modeling: A Systematic Literature Review

  2020cites this paper
• Designing Security and Privacy Requirements in Internet of Things: A Survey

  2019cites this paper
• Model-based security analysis of feature-oriented software product lines

  2018cites this paper
• A Review of Risk Identification Approaches in the Telecommunication Domain

  2017influential citation
• Fraud Risk Modelling: Requirements Elicitation in the Case of Telecom Services

  2017cites this paper
• Model-based analysis of Java EE web security misconfigurations

  2017cites this paper
• High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards

  2017cites this paper
• From Secure Business Process Modeling to Design-Level Security Verification

  2017cites this paper
• A profile and tool for modelling safety information with design information in SysML

  2016cites this paper
• Java source code model XML web descriptor model Model Discovery Model Discovery Transformation A Integration web security model Analysis Application level Model Level

  2016cites this paper
• Run-time security traceability for evolving systems

  2016cites this paper
• Model-Based Analysis of Java EE Web Security Configurations

  2016cites this paper
• Towards Mobile Modeling of Knowledge and Business Processes

  2016cites this paper
• Context modelling for IT security in selected application scenarios

  2015cites this paper
• Validation of IS Security Policies Featuring Authorisation Constraints

  2015cites this paper
• Design notations for secure software: a systematic literature review

  2015cites this paper
• Genie in a Model? Why Model Driven Security will not secure your Web Application

  2014cites this paper
• Advances in Model-Driven Security

  2014cites this paper
• Security-driven software evolution using a model driven approach

  2014cites this paper
• Securing Mobile Applications Using Model Driven Architecture

  2014influential citation
• SECURITY EVALUATION IN COLLABORATIVE M-LEARNING SYSTEMS

  2013cites this paper
• 527 SECURITY EVALUATION IN COLLABORATIVE M-LEARNING SYSTEMS

  2013cites this paper
• Network of Excellence Deliverable D2.4 Second Release of the Method and Tool Evaluation

  2013cites this paper
• Beyond One-Shot Security

  2012cites this paper
• Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec

  2012cites this paper
• QoP-ML: Quality of protection modelling language for cryptographic protocols

  2012cites this paper
• A Model for Privacy and Security Risks Analysis

  2012cites this paper
• Security Over the Information Systems Development Cycle

  2011cites this paper
• Secure by Design: Developing Secure Software Systems from the Ground Up

  2011cites this paper
• Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications

  2011cites this paper
• Automated security hardening for evolving UML models

  2011cites this paper
• Security policy foundations in context UNITY

  2011cites this paper
• Systematic design of secure Mobile Grid systems

  2011cites this paper
• A conceptual meta-model for secured information systems

  2011cites this paper
• Enhancing security requirements engineering by organizational learning

  2011cites this paper
• An adaptation of the Awareness Boundary Model towards smartphone security

  2011cites this paper
• Security in Model Driven Development: A Survey

  2011cites this paper
• Not Ready for Prime Time: A Survey on Security in Model Driven Development

  2011cites this paper
• Cognitive Complexity Measures: An Analysis

  2011cites this paper
• Identifying Secure Mobile Grid Use Cases

  2011cites this paper
• Formal verification of secure group communication protocols modelled in UML

  2010cites this paper
• Run-Time Security Traceability for Evolving Systems

  2010cites this paper
• Development of distributed mobile learning systems

  2010cites this paper
• Run-Time Security Traceability for Evolving Systems 1

  2010cites this paper
• Model-Driven Security Policy Deployment: Property Oriented Approach

  2010influential citation
• Security Requirements Engineering for Evolving Software Systems: A Survey

  2010cites this paper
• Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec

  2010cites this paper
• Analysis of Secure Mobile Grid Systems: A systematic approach

  2010cites this paper
• A model to measure the maturity of smartphone security at software consultancies

  2010cites this paper
• Designing Secure Data Warehouses by Using MDA and QVT

  2009cites this paper
• Fair Security Protocols with Off-line TTP

  2009cites this paper
• D3.1 Secure Evolving Software Systems: a State of the Art Survey

  2009cites this paper
• Development process for secure mobile grid systems.

  2009cites this paper
• A Survey of WiMAX and Mobile Broadband Security

  2009cites this paper
• ModelSec: A Generative Architecture for Model-Driven Security

  2009cites this paper
• Model-Driven Development for secure information systems

  2009cites this paper
• Tools for Traceability in Secure Software Development

  2008cites this paper
• Tools for Traceable Security Verification

  2008cites this paper
• Automated Analysis of Permission-Based Security Using UMLsec

  2008cites this paper
• Model-based Security Analysis of the German Health Card Architecture

  2008cites this paper
• Towards Modeling and Transformation of Security Requirements for Service-oriented Architectures

  2008cites this paper
• Model-Based Security Engineering

  2006cites this paper
• Open Research Online

  year unknowncites this paper
• Run-time Security Traceability for Evolving Systems Journal Article Run-time Security Traceability for Evolving Systems 1

  year unknowncites this paper
• Run-time Security Traceability for Evolving Systems Journal Article Run-time Security Traceability for Evolving Systems 1

  year unknowncites this paper
• Ubiquitous Computing and Communication Journal 1 MODEL-BASED SECURITTY FOR DEVELOPMENT CONTEXT-AWARE MOBILE APPLICATIPONS BASED UML

  year unknowncites this paper