Search results for "PURSe"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Manfred Holzbach	Security Measures For The Austrian "Paychip" Electronic Purse Application.	ACSAC	1996	DBLP DOI BibTeX RDF	PAYCHIP, management-oriented description, Austrian nationwide electronic purse scheme, QUICK scheme, national security policy, security level evaluation, payment security maintenance, chip-card based payment infrastructure, Europay Austria, security of data, design principles, security measures
91	Richard Banach, Michael Poppleton, Susan Stepney	Retrenching the Purse: Finite Exception Logs, and Validating the Small.	SEW	2006	DBLP DOI BibTeX RDF
91	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.	FM	2005	DBLP DOI BibTeX RDF
91	Martin Manninger, Robert Schischka	Adapting an Electronic Purse for Internet Payments.	ACISP	1998	DBLP DOI BibTeX RDF
87	Brigitte Althen, Gerd Enste, Brigitte Nebelung	Innovative Secure Payments On The Internet Using The German Electronic Purse.	ACSAC	1996	DBLP DOI BibTeX RDF	secure payments, German electronic purse, off-line terminals, merchant's site, Internet, security mechanisms, EFTS
75	Mehmet Ercan Kuruoglu, Ibrahim Sogukpinar	Low Cost and Trusted Electronic Purse System Design.	ISCIS	2003	DBLP DOI BibTeX RDF
71	Tahina Ramananandro	Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties
60	Vlad Rusu	Verification Using Test Generation Techniques.	FME	2002	DBLP DOI BibTeX RDF	electronic purse, Formal verification, conformance testing
59	Eylem Kiliç	"My Money in E-Purse" Searching Problems in Self Service User Interface.	HCI (4)	2007	DBLP DOI BibTeX RDF	e-community, Interface design, age
59	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.	ISoLA	2006	DBLP DOI BibTeX RDF
55	David Mera, José Manuel Cotos, José Ramon Rios Viqueira, José Varela 0001	A User Management Web System Based on Portlets for a Grid Environment Integrating Shibboleth, PURSe, PERMIS and Gridsphere.	DCAI	2008	DBLP DOI BibTeX RDF	PERMIS, PURSe, Grid Computing, RBAC, PKI, Portlets, Shibboleth
51	Lauren Hall-Lew, Amanda Cardoso, Yova Kemenchedjieva, Kieran Wilson, Ruaridh Purse, Julie Saigusa	San Francisco English and the California vowel shift.	ICPhS	2015	DBLP BibTeX RDF
48	Ian T. Foster, Veronika Nefedova, Mehran Ahsant, Rachana Ananthakrishnan, Lee Liming, Ravi K. Madduri, Olle Mulmo, Laura Pearlman, Frank Siebenlist	Streamlining Grid Operations: Definition and Deployment of a Portal-based User Registration Service.	J. Grid Comput.	2006	DBLP DOI BibTeX RDF	portal security, user registration, Grid, certificate, credentials, public key, Grid security, certificate authority
48	Jean-Marc Seigneur, Christian Damsgaard Jensen	Trust enhanced ubiquitous payment without too much privacy loss.	SAC	2004	DBLP DOI BibTeX RDF	privacy, trust, context, ubicomp, payment
43	Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
43	Cliff B. Jones, Ken G. Pierce	What Can the pi-calculus Tell Us About the Mondex Purse System?	ICECCS	2007	DBLP DOI BibTeX RDF
43	Jim Woodcock 0001, Leo Freitas	Z/Eves and the Mondex Electronic Purse.	ICTAC	2006	DBLP DOI BibTeX RDF	electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
43	Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif	The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.	FM	2006	DBLP DOI BibTeX RDF
43	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
43	Jan Jürjens, Guido Wimmel	Formally Testing Fail-Safety of Electronic Purse Protocols.	ASE	2001	DBLP DOI BibTeX RDF
32	Toshio Takayama, Toru Omata, Kazuyuki Kojima, Naofumi Tanaka	Assemblable pursestring suture instrument for laparoscopic surgery.	ICRA	2008	DBLP DOI BibTeX RDF
32	Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang	Secrecy Analysis of Purchase Transaction in Electronic Purses.	AINA (1)	2006	DBLP DOI BibTeX RDF
32	Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi	Model-Based Analysis of Money Accountability in Electronic Purses.	WINE	2005	DBLP DOI BibTeX RDF	e-commerce protocol, money accountability, security, model checking, FDR, Formal specification and verification, CEPS, Casper
27	Igor Granado, Leticia Hernando, Zigor Uriondo, Jose A. Fernandes-Salvador	A fishing route optimization decision support system: The case of the tuna purse seiner.	Eur. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
27	Xabier Lekunberri, Jon Ruiz, Iñaki Quincoces, Fadi Dornaika, Ignacio Arganda-Carreras, Jose A. Fernandes	Identification and measurement of tropical tuna species in purse seiner catches using computer vision and deep learning.	Ecol. Informatics	2022	DBLP DOI BibTeX RDF
27	Nurgül Demirtas, Senim Özgürler, Mesut Özgürler, Ali Fuat Güneri	Selecting e-Purse Smart Card Technology via Fuzzy AHP and ANP.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
27		Electronic Purse.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
27	Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	Mondex: Engineering a Provable Secure Electronic Purse.	Int. J. Softw. Informatics	2011	DBLP BibTeX RDF
27	Pilhwa Lee, Charles W. Wolgemuth	Crawling Cells Can Close Wounds without Purse Strings or Signaling.	PLoS Comput. Biol.	2011	DBLP DOI BibTeX RDF
27	Daniele Nantes Sobrinho, Mauricio Ayala-Rincón	Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.	WoLLIC	2010	DBLP DOI BibTeX RDF
27	Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
27	Chris George, Anne E. Haxthausen	Specification, proof, and model checking of the Mondex electronic purse using RAISE.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Verification, Formal methods, PVS, SAL, RAISE, Mondex
27	João Paulo Carvalho, Laura Wise, Alberto Murta, Marta Mesquita	Issues on Dynamic Cognitive Map modelling of purse-seine fishing skippers behavior.	FUZZ-IEEE	2008	DBLP DOI BibTeX RDF
27	Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney	Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.	Fundam. Informaticae	2007	DBLP BibTeX RDF
27	Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi	Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.	IFM	2007	DBLP DOI BibTeX RDF
27	Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
27	Henk Jan de Vries	Competing E-Purse Systems: A Standard Battle.	J. Cases Inf. Technol.	2006	DBLP DOI BibTeX RDF
27	Antonio Ruiz-Martínez, Antonio Fernandez Gómez-Skarmeta, Óscar Cánovas Reverte	Combination of a Smartcard E-Purse and E-Coin to Make Electronic Payments on the Internet.	SECRYPT	2006	DBLP BibTeX RDF
27	Margaret Cahill	Bill Purse: The PrintMusic! Primer - Mastering the Art of Music Notation with Finale PrintMusic!	Comput. Music. J.	2005	DBLP DOI BibTeX RDF
27	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenchment and the Mondex Electronic Purse.	Abstract State Machines	2005	DBLP BibTeX RDF
27	Jan Jürjens, Guido Wimmel	Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications.	I3E	2001	DBLP DOI BibTeX RDF
27	Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet	Electronic Purse Applet Certification: extended abstract.	Workshop on Secure Architectures and Information Flow	1999	DBLP DOI BibTeX RDF
27	Alicia Lieu	Bill Purse: The Finale Primer: Mastering the Art of Music Notation with Finale 97.	Comput. Music. J.	1999	DBLP DOI BibTeX RDF
27	Tawfik Jelassi, Manuel João Pereira	The Electronic Purse in Portugal: A Mere Payment System Or A Socio-economic 'Revolution'?	ECIS	1997	DBLP BibTeX RDF
27	John H. Esbin	Don't let the millennium bug bite you (or, how to make a silk purse from a sow's ear).	SIGUCCS	1997	DBLP DOI BibTeX RDF
27	Max H. Garzon, Stanley P. Franklin, William Baggett, William S. Boyd Jr., Dinah Dickerson	Design and Testing of a General-Purse Neurocomputer.	J. Parallel Distributed Comput.	1992	DBLP DOI BibTeX RDF
27	Edward J. Wisniewski, Douglas L. Medin	Is it a Pocket or a Purse? Tighly Coupled Theory and Data Driven Learing.	ML	1991	DBLP DOI BibTeX RDF
27	Frederick J. Bethke	Technical writing: Weaving the Silk purse.	Computer	1974	DBLP DOI BibTeX RDF
16	Néstor Cataño, Tim Wahls	Executing JML specifications of Java card applications: a case study.	SAC	2009	DBLP DOI BibTeX RDF	executable specifications, Java card, JML
16	Satish Devane, Deepak B. Phatak	Secure Transaction Protocol for CEPS Compliant EPS in Limited Connectivity Environment.	EC-Web	2009	DBLP DOI BibTeX RDF	E-commerce, Electronic Payment system, Payment Protocol
16	Andrzej Zarzycki	Form-making in architecture: performance and simulation based design approach.	SIGGRAPH ASIA Posters	2009	DBLP DOI BibTeX RDF
16	Richard Banach	Coarse Grained Retrenchment and the Mondex Denial of Service Attacks.	TASE	2009	DBLP DOI BibTeX RDF
16	Leo Freitas, Jim Woodcock 0001	Mechanising Mondex with Z/Eves.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
16	Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif	Verification of Mondex electronic purses with KIV: from transactions to a security protocol.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Verification, Refinement, Security protocol, Z, ASM, Mondex
16	Alexei Czeskis, Karl Koscher, Joshua R. Smith 0001, Tadayoshi Kohno	RFIDs and secret handshakes: defending against ghost-and-leech attacks and unauthorized reads with context-aware communications.	CCS	2008	DBLP DOI BibTeX RDF	context-aware communications, passive gesture recognition, proxy attacks, rfid device selection, skimming attacks, privacy, gesture recognition, rfid, relay attacks, man-in-the-middle attacks
16	Gerhard Schellhorn, Richard Banach	A Concept-Driven Construction of the Mondex Protocol Using Three Refinements.	ABZ	2008	DBLP DOI BibTeX RDF
16	Reng Zeng, Jianling Liu, Xudong He	A Formal Specification of Mondex Using SAM.	SOSE	2008	DBLP DOI BibTeX RDF
16	Lichun Zhu, Robert D. Kent, Akshai K. Aggarwal, Peiris Viranthi, Quazi Rahman, Tarik Elamsy, Ositadimma Ejelike	Construction of a Webportal and User Management Framework for Grid.	HPCS	2007	DBLP DOI BibTeX RDF
16	Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune	Deducibility Constraints, Equational Theory and Electronic Money.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
16	Liqun Liang, Shaowu Li, Yumei Chang, Yong Li, Xiaowen Sun, Qingquan Lei	Differentially Gene Expression in the Brain of Common Carp ( Cyprinus carpio ) Response to Cold Acclimation.	CCTA	2007	DBLP DOI BibTeX RDF	cold tolerance, suppression subtractive hybridization (SSH), real-time PCR, Cyprinus carpio
16	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Retrenchment and the Atomicity Pattern.	SEFM	2007	DBLP DOI BibTeX RDF
16	Jan Jürjens	Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.	ASE	2006	DBLP DOI BibTeX RDF
16	Richard Banach	Retrenchment Tutorial.	SEFM	2006	DBLP DOI BibTeX RDF
16	Denis Hatebur, Maritta Heisel	Problem Frames and Architectures for Security Problems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
16	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
16	Didier Bert, Marie-Laure Potet, Nicolas Stouls	GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.	ZB	2005	DBLP DOI BibTeX RDF
16	Jan Jürjens	Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.	HASE	2004	DBLP DOI BibTeX RDF	security software engineering, formal methods in security, electronic purses, cryptographic protocols, security models, security engineering, security evaluation, high assurance systems, security verification
16	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
16	Marieke Huisman, Dilian Gurov, Christoph Sprenger 0001, Gennady Chugunov	Checking Absence of Illicit Applet Interactions: A Case Study.	FASE	2004	DBLP DOI BibTeX RDF
16	Luzi Anderegg, Stephan J. Eidenbenz	Ad hoc-VCG: a truthful and cost-efficient routing protocol for mobile ad hoc networks with selfish agents.	MobiCom	2003	DBLP DOI BibTeX RDF	routing, ad hoc networks, energy efficiency, game theory, mechanism design, VCG mechanism, selfish agents
16	George Bradford	What's old is new again: training is the information technology constant.	SIGUCCS	2003	DBLP DOI BibTeX RDF	training, classroom, technical
16	Colin English, Sotirios Terzis, Waleed Wagealla, Helen Lowe, Paddy Nixon, Andrew D. McGettrick	Trust Dynamics for Collaborative Global Computing.	WETICE	2003	DBLP DOI BibTeX RDF
16	Cees-Bart Breunesse, Bart Jacobs 0001, Joachim van den Berg	Specifying and Verifying a Decimal Representation in Java for Smart Cards.	AMAST	2002	DBLP DOI BibTeX RDF
16	Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner	A Problem-Oriented Approach to Common Criteria Certification.	SAFECOMP	2002	DBLP DOI BibTeX RDF
16	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
16	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	STG: A Symbolic Test Generation Tool.	TACAS	2002	DBLP DOI BibTeX RDF
16	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	Automated Test and Oracle Generation for Smart-Card Applications.	E-smart	2001	DBLP DOI BibTeX RDF
16	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	STG: a tool for generating symbolic test programs and oracles from operational specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
16	Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon	Checking Secure Interactions of Smart Card Applets.	ESORICS	2000	DBLP DOI BibTeX RDF
16	Kazuo J. Ezawa, Gregory Napiorkowski, Mariusz Kossarski	Assessment of Effectiveness of Counterfeit Transaction Detection Systems for Smart Card Based Electronic Cash.	Financial Cryptography	1999	DBLP DOI BibTeX RDF
16	Joan Daemen	Management of Secret Keys: Dynamic Key Handling.	State of the Art in Applied Cryptography	1997	DBLP DOI BibTeX RDF
16	Jean-Jacques Quisquater, Myriam Quisquater, Muriel Quisquater, Michaël Quisquater, Louis C. Guillou, Marie Annick Guillou, Gaïd Guillou, Anna Guillou, Gwenolé Guillou, Soazig Guillou, Thomas A. Berson	How to Explain Zero-Knowledge Protocols to Your Children.	CRYPTO	1989	DBLP DOI BibTeX RDF
16	Roger Segelken	A Case History of a Computer Media Event - Introducing a Supercomputer Center.	SIGDOC	1985	DBLP DOI BibTeX RDF