Search results for "Common criteria"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Iman Narasamdya, Michaël Périn	Certification of smart-card applications in common criteria.	SAC	2009	DBLP DOI BibTeX RDF	assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques
3	Feisal Keblawi, Dick Sullivan	Applying the Common Criteria in Systems Engineering.	IEEE Security & Privacy	2006	DBLP DOI BibTeX RDF	protection profiles, aviation security, software engineering, requirements analysis, systems engineering, requirements specifications, security engineering, Common Criteria
3	Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine	High Robustness Requirements in a Common Criteria Protection Profile.	IWIA	2006	DBLP DOI BibTeX RDF	high robustness, common criteria, dynamic configuration, least privilege, separation kernel
3	Deepak S. Yavagal, Seok Won Lee, Gail-Joon Ahn, Robin A. Gandhi	Common criteria requirements modeling and its uses for quality of information assurance (QoIA).	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	information assurance metrics & measures, ontology, requirements modeling, common criteria
3	Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner	Secure systems development based on the common criteria: the PalME project.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	graphical description techniques, software engineering, formal methods, requirements engineering, case study, software design, development process, CASE, security engineering, common criteria, AutoFocus
2	Kenji Taguchi, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko	Aligning Security Requirements and Security Assurance Using the Common Criteria.	SSIRI	2010	DBLP DOI BibTeX RDF	security, requirements, assurance, Common Criteria
2	Iman Narasamdya, Michaël Périn	Certification of Smart-Card Applications in Common Criteria.	FASE	2009	DBLP DOI BibTeX RDF
2	Motoshi Saeki, Haruhiko Kaiya	Security Requirements Elicitation Using Method Weaving and Common Criteria.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
2	Manpreet Singh, Manjeet S. Patterh	Interpretation of policy oriented common criteria components for network computing environment.	COMSWARE	2008	DBLP DOI BibTeX RDF
2	June Andronick, Quang Huy Nguyen 0002	Certifying an embedded remote method invocation protocol.	SAC	2008	DBLP DOI BibTeX RDF	JCRMI, security and functional certification, formal verification, embedded software, common criteria
2	David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber	The Caernarvon secure embedded operating system.	Operating Systems Review	2008	DBLP DOI BibTeX RDF	common criteria evaluation, embedded systems, mobile phones, operating systems, PDAs, smart cards, mandatory access controls
2	Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng	ISEDS: An Information Security Engineering Database System Based on ISO Standards.	ARES	2008	DBLP DOI BibTeX RDF	ISO/IEC 15408, An Information Security Engineering Database System, Supporting design of security facilities, Supporting maintenance of security facilities, Information security, Common Criteria
2	Saar Drimer, Steven J. Murdoch, Ross J. Anderson	Thinking Inside the Box: System-Level Failures of Tamper Proofing.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	Chip and PIN, PIN entry devices, certification, incentives, smartcard, banking, tamper resistance, common criteria, EMV
2	Frédéric Dadeau, Marie-Laure Potet, Régis Tissot	A B Formal Framework for Security Developments in the Domain of Smart Card Applications.	SEC	2008	DBLP DOI BibTeX RDF	Conformance Relation, Access Control, Traceability, Security Model, B Method, Common Criteria
2	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	CCARCH: Architecting Common Criteria Security Requirements.	IAS	2007	DBLP DOI BibTeX RDF
2	Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng	Formal verification of security specifications with common criteria.	SAC	2007	DBLP DOI BibTeX RDF	ISO/IEC 15408, theorem-proving, Z notation
2	Miklós Biró, Balint Molnar	Synergies Between the Common Criteria and Process Improvement.	EuroSPI	2007	DBLP DOI BibTeX RDF	Security, Classification, Evaluation, Quality, Assessment, Categorization, Capability, Maturity
2	Thuy D. Nguyen, Cynthia E. Irvine	Utilizing the Common Criteria for Advanced Student Research Projects.	SEC	2006	DBLP DOI BibTeX RDF
2	Daniel Mellado, Eduardo Fernández-Medina, Mario Piattini	A Comparison of the Common Criteria with Proposals of Information Systems Security Requirements.	ARES	2006	DBLP DOI BibTeX RDF
2	Gary Stoneburner	Developer-Focused Assurance Requirements.	IEEE Computer	2005	DBLP DOI BibTeX RDF	evaluation assurance levels, standards, common criteria, IT security
2	Carla Merkle Westphall, Joni da Silva Fraga	Mandatory and Discretionary Policies for CORBA Security.	J. Network Syst. Manage.	2005	DBLP DOI BibTeX RDF	CORBAsec, authorization, Security policies, common criteria, security evaluation
2	Jim Hearn	Does the Common Criteria Paradigm Have a Future?	IEEE Security & Privacy	2004	DBLP DOI BibTeX RDF
2	Sang-ho Kim, Choon Seong Leem	A Case Study in Applying Common Criteria to Development Process to Improve Security of Software Products.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Sun-Myung Hwang	A Design of Configuration Management Practices and CMPET in Common Criteria Based on Software Process Improvement Activity.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Sang-ho Kim, Choon Seong Leem	A Case Study in Applying Common Criteria to Development Process of Virtual Private Network.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Paul A. Karger, Helmut Kurth	Increased Information Flow Needs for High-Assurance Composite Evaluations.	IWIA	2004	DBLP DOI BibTeX RDF	composite evaluation, smart cards, covert channels, common criteria, high assurance
2	Kittur S. Shankar, Helmut Kurth	Certifying Open Source-The Linux Experience.	IEEE Security & Privacy	2004	DBLP DOI BibTeX RDF	product security, standards, open source, Linux, certification, Common Criteria
2	Hoon Jae Lee, ManKi Ahn, Seongan Lim, Sang-Jae Moon	A Study on Smart Card Security Evaluation Criteria for Side Channel Attacks.	ICCSA	2004	DBLP DOI BibTeX RDF	Protection Profiles, Vulnerability Assessment Activities, SPA/DPA, Smart Card, Side Channel Attacks, Common Criteria
2	Hae-ki Lee, Jae-sun Shim, Seung Lee, Jong-bu Kim	A Relationship of Configuration Management Requirements between KISEC and ISO/IEC 15408.	ICCSA	2004	DBLP DOI BibTeX RDF	Assurance requirement, KISEC, configuration management, common criteria
2	Dae-Hee Seo, Im-Yeong Lee, Hee-Un Park	A Study on Key Recovery Agent Protection Profile Having Composition Function.	ICCSA	2004	DBLP DOI BibTeX RDF	Key Recovery Protection Profile, Evaluation Methodology, Common Criteria
2	Haeng-Kon Kim, Tai-Hoon Kim, Jae-Sung Kim	Reliability Assurance in Development Process for TOE on the Common Criteria.	SERA	2003	DBLP DOI BibTeX RDF
2	Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner	A Problem-Oriented Approach to Common Criteria Certification.	SAFECOMP	2002	DBLP DOI BibTeX RDF
2	José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros, Fernando Garcia	Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Common criteria framework, Risk analysis and management methods, Security, Requirements engineering, Requirements reuse
2	Pieter H. Hartel, Luc Moreau	Formalizing the safety of Java, the Java virtual machine, and Java card.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	programming, Common criteria
1	Yao-Chang Yu, Ting-Wei Hou	Utilize Common Criteria Methodology for Secure Ubiquitous Healthcare Environment.	J. Medical Systems	2012	DBLP DOI BibTeX RDF
1		ISO 15408 CC - Common Criteria.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Paolo Salvaneschi	Common Criteria, From a Security Policies Perspective.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Tom Caddy	Common Criteria.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Fumiharu Etoh, Yoshiaki Hori, Kouichi Sakurai	A Study of Communication Route Selection Considering Route Security.	SAINT	2011	DBLP DOI BibTeX RDF	measurement, metrics, Common Criteria, security evaluation, route selection
1	Manpreet Singh, Manjeet S. Patterh	Formal Specification of Common Criteria Based Access Control Policy Model.	I. J. Network Security	2010	DBLP BibTeX RDF
1	Siv Hilde Houmb, Shareeful Islam, Eric Knauss, Jan Jürjens, Kurt Schneider	Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec.	Requir. Eng.	2010	DBLP DOI BibTeX RDF
1	Niels Menke, Kai Reinhard	Compliance of POLYAS with the Common Criteria Protection Profile	CoRR	2010	DBLP BibTeX RDF
1	Niels Menke, Kai Reinhard	Compliance of POLYAS with the Common Criteria Protection Profile - A 2010 Outlook on Certified Remote Electronic Voting.	Electronic Voting	2010	DBLP BibTeX RDF
1	Sönke Maseberg	Evaluierung eines Digitalen Wahlstiftes gemäß Common Criteria - Ein Erfahrungsbericht.	Datenschutz und Datensicherheit	2009	DBLP DOI BibTeX RDF
1	Paul A. Karger	Securing virtual machine monitors: what is needed?	ASIACCS	2009	DBLP DOI BibTeX RDF	virtual machine monitors, hypervisors, security kernels
1	Haider Abbas, Louise Yngström, Ahmed Hemani	Adaptability infrastructure for bridging IT security evaluation and options theory.	SIN	2009	DBLP DOI BibTeX RDF	it product evaluation, it security evaluation, options theory
1	Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle	Extended eTVRA vs. security checklist: Experiences in a value-web.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Artur Hecker, Michel Riguidel	On the Operational Security Assurance Evaluation of Networked IT Systems.	NEW2AN	2009	DBLP DOI BibTeX RDF
1	Boutheina Chetali	Security Testing and Formal Methods for High Levels Certification of Smart Cards.	TAP	2009	DBLP DOI BibTeX RDF
1	Hans Löhr, Ahmad-Reza Sadeghi, Christian Stüble, Marion Weber, Marcel Winandy	Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels.	TRUST	2009	DBLP DOI BibTeX RDF
1	Atsushi Ohnishi	Verification of Scenarios Using the Common Criteria.	ICSOFT (SE/MUSE/GSDCA)	2008	DBLP BibTeX RDF
1	Andrzej Bialas	Ontology-based Approach to the Common Criteria Compliant IT Security Development.	Security and Management	2008	DBLP BibTeX RDF
1	Daniel Mellado, Eduardo Fernández-Medina, Mario Piattini	Security Requirements Variability for Software Product Lines.	ARES	2008	DBLP DOI BibTeX RDF	ISO/IEC 27001, variability, product lines, security requirements, Common Criteria
1	Jaegu Song, Seoksoo Kim	A Study on Composite System Vulnerability through CC Analysis.	MUE	2008	DBLP DOI BibTeX RDF	evaluate, Composite, Common criteria
1	Jean Goubault-Larrecq	Towards Producing Formally Checkable Security Proofs, Automatically.	CSF	2008	DBLP DOI BibTeX RDF	Dolev-Yao model, h1, security, model-checking, first-order logic, tree automata, proofs, Coq, Paradox
1	Fan He, Huanguo Zhang, Mei Tang	A Test Method of Trusted Computing Supporting Software.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean	Applying Formal Methods to a Certifiably Secure Software System.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	security, verification, Formal methods, Specification, Software, tools, software verification, security kernels
1	Ami Wiesel, Yonina C. Eldar, Shlomo Shamai	Zero-Forcing Precoding and Generalized Inverses.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
1	Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.	ABZ	2008	DBLP DOI BibTeX RDF
1	Boutheina Chetali, Quang Huy Nguyen 0002	Industrial Use of Formal Methods for a High-Level Security Evaluation.	FM	2008	DBLP DOI BibTeX RDF
1	Claudio Agostino Ardagna, Ernesto Damiani, Nabil El Ioini, Fulvio Frati, Pietro Giovannini, Romaric Tchokpon	Mapping Linux Security Targets to Existing Test Suites.	OSS	2008	DBLP DOI BibTeX RDF
1	Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni	Verifying Extended Criteria for the Interoperability of Security Devices.	OTM Conferences	2008	DBLP DOI BibTeX RDF
1	Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson	Formal Security Analysis of Electronic Software Distribution Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF
1	Geoffrey Biggs, Bruce A. MacDonald	A pragmatic approach to dimensional analysis for mobile robotic programming.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Robot control, Robot programming
1	Melanie Volkamer, Harald Hauff	Zum Nutzen hoher Zertifizierungsstufen nach den Common Criteria (II).	Datenschutz und Datensicherheit	2007	DBLP DOI BibTeX RDF
1	Melanie Volkamer, Harald Hauff	Zum Nutzen hoher Zertifizierungsstufen nach den Common Criteria (I).	Datenschutz und Datensicherheit	2007	DBLP DOI BibTeX RDF
1	Daniel Mellado, Eduardo Fernández-Medina, Mario Piattini	A common criteria based security requirements engineering process for the development of secure information systems.	Computer Standards & Interfaces	2007	DBLP DOI BibTeX RDF
1	Damien Sauveron, Pierre Dusart	Which Trust Can Be Expected of the Common Criteria Certification at End-User Level?	FGCN	2007	DBLP DOI BibTeX RDF
1	Andrzej Bialas	Modeling the Security Objectives According to the Common Criteria Methodology.	Security and Management	2007	DBLP BibTeX RDF
1	Jan Trobitius	Anwendung der "Common Criteria for Information Technology Security Evaluation" (CC) / ISO 15408 auf ein SOA Registry-Repository.	Informatiktage	2007	DBLP BibTeX RDF
1	Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss	Implementing middleware for content filtering and information flow control.	CSAW	2007	DBLP DOI BibTeX RDF	GIOP, MILS, security, CORBA, safety, MLS, common criteria, high assurance, guards, IIOP
1	Shoichi Morimoto, Jingde Cheng	A Security Specification Library with a Schemaless Database.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Digital pattern processing, Common criteria
1	John McLean	Formal methods in security engineering: where we've been, where we are, where we need to go.	FMSE	2007	DBLP DOI BibTeX RDF	formal methods, computer security
1	Trent Jaeger, Reiner Sailer, Yogesh Sreenivasan	Managing the risk of covert information flows in virtual machine systems.	SACMAT	2007	DBLP DOI BibTeX RDF	chinese wall policy, information flow secrecy, covert channels
1	Jeffrey Choi Robinson, Jim Alves-Foss	A high assurance MLS file server.	Operating Systems Review	2007	DBLP DOI BibTeX RDF
1	Ami Wiesel, Yonina C. Eldar, Shlomo Shamai	Optimal Generalized Inverses for Zero Forcing Precoding.	CISS	2007	DBLP DOI BibTeX RDF
1	Andrzej Bialas	Semiformal Approach to the IT Security Development.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar	Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.	SAFECOMP	2007	DBLP DOI BibTeX RDF
1	Andreas Ekelhart, Stefan Fenz, Gernot Goluch, Edgar R. Weippl	Ontological Mapping of Common Criteria's Security Assurance Requirements.	SEC	2007	DBLP DOI BibTeX RDF
1	Kai Reinhard, Wolfgang Jung	Compliance of POLYAS with the BSI Protection Profile - Basic Requirements for Remote Electronic Voting Systems.	VOTE-ID	2007	DBLP DOI BibTeX RDF
1	Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, Sami Zhioua	Common Criteria Approach to J2ME CLDC Security Requirements.	SoMeT	2006	DBLP BibTeX RDF
1	Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng	A security specification verification technique based on the international standard ISO/IEC 15408.	SAC	2006	DBLP DOI BibTeX RDF	theorem-proving, Z notation, common criteria
1	Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean	Formal specification and verification of data separation in a separation kernel for an embedded system.	ACM Conference on Computer and Communications Security	2006	DBLP DOI BibTeX RDF	code verification, formal specification, theorem proving, formal model, separation kernel
1	Ming-Yu Chen, Jyh-Da Wei, Jeng-Hung Huang, D. T. Lee	Design and applications of an algorithm benchmark system in a computational problem solving environment.	ITiCSE	2006	DBLP DOI BibTeX RDF	knowledge portal, benchmark, problem-solving environment, algorithm visualization
1	Khaled M. Khan, Jun Han	Assessing Security Properties of Software Components: A Software Engineer's Perspective.	ASWEC	2006	DBLP DOI BibTeX RDF
1	David von Oheimb	Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).	ISoLA	2006	DBLP DOI BibTeX RDF
1	Allan Pedersen, Anders Hedegaard, Robin Sharp	Designing a Secure Point-of-Sale System.	IWIA	2006	DBLP DOI BibTeX RDF
1	Efthimia Aivaloglou, Stefanos Gritzalis, Charalabos Skianis	Trust Establishment in Ad Hoc and Sensor Networks.	CRITIS	2006	DBLP DOI BibTeX RDF	sensor networks, ad hoc networks, Trust establishment, trust evaluation
1	Daniel Mellado, Eduardo Fernández-Medina, Mario Piattini	Applying a Security Requirements Engineering Process.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Sang-soo Choi, So-yeon Kim, Gang-Soo Lee	Enhanced Misuse Case Model: A Security Requirement Analysis and Specification Model.	ICCSA	2006	DBLP DOI BibTeX RDF
1	Haeng-Kon Kim, Hae Sool Yang	Software Process Improvement Environment.	ICCSA	2006	DBLP DOI BibTeX RDF
1	Eun-ser Lee, Sang Ho Lee	Design Progress Management for Security Requirements in Ubiquitous Computing Using COQUALMO.	ICCSA	2006	DBLP DOI BibTeX RDF
1	Anirban Sengupta, Mridul Sankar Barik	Towards a Formal Specification Method for Enterprise Information System Security.	ICISS	2006	DBLP DOI BibTeX RDF
1	Dan Wu, Ye Yang	Towards an Approach for Security Risk Analysis in COTS Based Development.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
1	Eun-Jun Yoon, Kee-Young Yoo	A New Secure Key Exchange Protocol Between STB and Smart Card in DTV Broadcasting.	WISI	2006	DBLP DOI BibTeX RDF
1	Sébastien Josse	How to Assess the Effectiveness of your Anti-virus?	Journal in Computer Virology	2006	DBLP DOI BibTeX RDF
1	Tom Caddy	Common Criteria.	Encyclopedia of Cryptography and Security	2005	DBLP DOI BibTeX RDF
1	Omar Hurtado, Juan Llorens Morillo, Gonzalo Génova, José Miguel Fuentes	Generación de Patrones de Requisitos en una Herramienta CASE: Aplicación al Common Criteria.	CIbSE	2005	DBLP BibTeX RDF
1	Stephen H. Kam	Integrating the Common Criteria into the Software Engineering Lifecycle.	CIbSE	2005	DBLP BibTeX RDF
1	Lawrence Teo, Gail-Joon Ahn	Supporting access control policies across multiple operating systems.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	Chameleos, access control, operating systems, flexibility, extensibility, policy specification