Search results for "Formal Security Model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yuichi Komano, Kazuo Ohta, Atsushi Shimbo, Shin-ichi Kawamura	Formal Security Model of Multisignatures.	ISC	2006	DBLP DOI BibTeX RDF	multisignature scheme, claw-free permutation, random oracle model, formal security model
2	Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa	Verifiable Shuffles: A Formal Model and a Paillier-Based Efficient Construction with Provable Security.	ACNS	2004	DBLP DOI BibTeX RDF	verifiable shuffles, Paillier public-key system, Privacy, mix-nets, formal security model
2	David von Oheimb, Georg Walter, Volkmar Lotz	A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.	ESORICS	2003	DBLP DOI BibTeX RDF
2	Volkmar Lotz, Volker Kessler, Georg Walter	A Formal Security Model for Microprocessor Hardware.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Security, hardware, formal security models
2	Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll	Verification of a Formal Security Model for Multiapplicative Smart Cards.	ESORICS	2000	DBLP DOI BibTeX RDF
2	Volkmar Lotz, Volker Kessler, Georg Walter	A Formal Security Model for Microprocessor Hardware.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	security, hardware, formal security models
2	Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark Heckman, William R. Shockley	The SeaView Security Model.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	policy formalization, new data, SeaView security model, clearances, mandatory security, standard relational model, multilevel relations, discretionary security, application-independent properties, entity integrity, polyinstantiation integrity, classifications, software engineering, relational databases, security of data, users, labeling, data consistency, reference monitor, formal security model, referential integrity, derived data, multilevel database
1	Pierre Neron, Quang-Huy Nguyen	A Formal Security Model of a Smart Card Web Server.	CARDIS	2011	DBLP DOI BibTeX RDF
1	Frederik Armknecht, Roel Maes, Ahmad-Reza Sadeghi, François-Xavier Standaert, Christian Wachsmann	A Formalization of the Security Features of Physical Functions.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Physically Unclonable Function (PUF), Unclonability, Robustness, Formal Security Model, Unpredictability
1	Patrick Schaller, Benedikt Schmidt, David A. Basin, Srdjan Capkun	Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks.	CSF	2009	DBLP DOI BibTeX RDF	Wireless Network Protocols, Security Protocols, Isabelle/HOL, Formal Security Model
1	Mark Manulis, Jörg Schwenk	Security model and framework for information aggregation in sensor networks.	TOSN	2009	DBLP DOI BibTeX RDF	wireless sensor network, framework, Aggregation, provable security, in-network processing
1	Wenting Jin, Jing Xu	An Efficient and Provably Secure Cross-Realm Client-to-Client Password-Authenticated Key Agreement Protocol with Smart Cards.	CANS	2009	DBLP DOI BibTeX RDF	Password-authenticated key agreement, Client-to-client, Smart cards, Provable security, Cross-realm
1	Dengguo Feng, Jing Xu	A New Client-to-Client Password-Authenticated Key Agreement Protocol.	IWCC	2009	DBLP DOI BibTeX RDF	Password-authenticated key agreement, cryptanalysis, provable security, cross-realm
1	Colleen Swanson, David Jao	A Study of Two-Party Certificateless Authenticated Key-Agreement Protocols.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	key agreement, certificateless public key cryptography
1	Eugene Y. Vasserman, Nicholas Hopper, James Tyra	Silent Knock : practical, provably undetectable authentication.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Covert authentication, Cryptography, Provable security, Formal models
1	Yuichi Komano, Kazuo Ohta, Atsushi Shimbo, Shin-ichi Kawamura	Provably Secure Multisignatures in Formal Security Model and Their Optimality.	IEICE Transactions	2008	DBLP DOI BibTeX RDF
1	Yanjiang Yang, Feng Bao, Robert H. Deng	Efficient Client-to-Client Password Authenticated Key Exchange.	EUC	2008	DBLP DOI BibTeX RDF
1	Zhenjie Huang, Xuanzhi Lin, Rufen Huang	Certificateless Concurrent Signature Scheme.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Qiong Huang, Guomin Yang, Duncan S. Wong, Willy Susilo	Ambiguous Optimistic Fair Exchange.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
1	Cécile Delerablée, David Pointcheval	Dynamic Threshold Public-Key Encryption.	CRYPTO	2008	DBLP DOI BibTeX RDF
1	Kazuki Yoneyama	Efficient and Strongly Secure Password-Based Server Aided Key Exchange (Extended Abstract).	INDOCRYPT	2008	DBLP DOI BibTeX RDF	password-based key exchange, password-based server aided key exchange, leakage of internal states, undetectable on-line dictionary attack
1	Frederik Armknecht, Alberto N. Escalante, Hans Löhr, Mark Manulis, Ahmad-Reza Sadeghi	Secure Multi-Coupons for Federated Environments: Privacy-Preserving and Customer-Friendly.	ISPEC	2008	DBLP DOI BibTeX RDF	unsplittability, privacy, federation, unlinkability, payment system, loyalty, coupons
1	Jacques Wainer, Akhil Kumar, Paulo Barthelmess	DW-RBAC: A formal security model of delegation and revocation in workflow systems.	Inf. Syst.	2007	DBLP DOI BibTeX RDF
1	Wun-She Yap, Sherman S. M. Chow, Swee-Huay Heng, Bok-Min Goi	Security Mediated Certificateless Signatures.	ACNS	2007	DBLP DOI BibTeX RDF	security mediated, SMC cryptography, certificateless
1	Eugene Y. Vasserman, Nicholas Hopper, John Laxson, James Tyra	SilentKnock: Practical, Provably Undetectable Authentication.	ESORICS	2007	DBLP DOI BibTeX RDF
1	Dennis Y. W. Liu, Duncan S. Wong, Xinyi Huang, Guilin Wang, Qiong Huang, Yi Mu, Willy Susilo	Formal Definition and Construction of Nominative Signature.	ICICS	2007	DBLP DOI BibTeX RDF
1	Yevgeniy Dodis, Pil Joong Lee, Dae Hyun Yum	Optimistic Fair Exchange in a Multi-user Setting.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF
1	Dennis Y. W. Liu, Joseph K. Liu, Yi Mu, Willy Susilo, Duncan S. Wong	Revocable Ring Signature.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	anonymity, group signature, revocability, ring signature
1	Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa	Verifiable shuffles: a formal model and a Paillier-based three-round construction with provable security.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Verifiable shuffles, Paillier public-key system, Privacy, Mix-nets, Formal security model
1	Frédéric Cuppens, Nora Cuppens-Boulahia, Tony Ramard	Availability Enforcement by Obligations and Aspects Identification.	ARES	2006	DBLP DOI BibTeX RDF	temporized actions, Availability, aspects, obligation
1	Jean-Marie Orset, Ana R. Cavalli	A Security Model for OLSR MANET Protocol.	MDM	2006	DBLP DOI BibTeX RDF
1	Sébastien Canard, Aline Gouget, Emeline Hufschmitt	A Handy Multi-coupon System.	ACNS	2006	DBLP DOI BibTeX RDF	Electronic coupons, security model, proof of knowledge
1	Anirban Sengupta, Mridul Sankar Barik	Towards a Formal Specification Method for Enterprise Information System Security.	ICISS	2006	DBLP DOI BibTeX RDF
1	Cécile Delerablée, David Pointcheval	Dynamic Fully Anonymous Short Group Signatures.	VIETCRYPT	2006	DBLP DOI BibTeX RDF
1	Liu Mixia, Zhang Qiuyu, Yu Dongmei, Zhao Hong	Formal security model research based on Petri-net.	GrC	2005	DBLP DOI BibTeX RDF
1	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans	Nomad: A Security Model with Non Atomic Actions and Deadlines.	CSFW	2005	DBLP DOI BibTeX RDF
1	Julien Cathalo, Benoît Libert, Jean-Jacques Quisquater	Efficient and Non-interactive Timed-Release Encryption.	ICICS	2005	DBLP DOI BibTeX RDF	provable security, formal models, timed-release encryption
1	Joonsang Baek, Reihaneh Safavi-Naini, Willy Susilo	Efficient Multi-receiver Identity-Based Encryption and Its Application to Broadcast Encryption.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF	Multi-Receiver Identity-Based Encryption, Formal Security Analysis, Public Key Broadcast Encryption
1	David von Oheimb, Volkmar Lotz, Georg Walter	Analyzing SLE 88 memory management security using Interacting State Machines.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Security, Smart cards, Memory management, Formal analysis, Isabelle/HOL
1	Salem Aljareh, B. Nick Rossiter, Michael A. Heather	A Formal Security Model for Collaboration in Multi-agency Networks.	WOSIS	2004	DBLP BibTeX RDF
1	Salem Aljareh, B. Nick Rossiter, Michael A. Heather	A Formal Security Model for Collaboration in Multi-agency Networks.	Computer Supported Acitivity Coordination	2004	DBLP BibTeX RDF
1	Krzysztof Juszczyszyn	Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets.	WETICE	2003	DBLP DOI BibTeX RDF
1	Muxiang Zhang	Adaptive Protocol for Entity Authentication and Key Agreement in Mobile Networks.	ICISC	2003	DBLP DOI BibTeX RDF
1	Gail-Joon Ahn, Seng-Phil Hong, Michael E. Shin	Reconstructing a formal security model.	Information & Software Technology	2002	DBLP DOI BibTeX RDF
1	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus