Design phase of the software development is the most appropriate one for incorporating security decisions. Unfortunately, no efficient methodology or tool exists to address security at design phase. Almost negligible work has been reported to assess the impact of object oriented design characteristics on security, though the effort has already been made for quality. Since, the approach presente...

Bank Syariah Indonesia (BSI) is a new Islamic bank resulting from the merger of three banks that requires development to maximize feasibility Automated Teller Machine (ATM) location. The placement proper ATM location can increase bank's profits. This research was conducted assist BSI Jember Regency in determining level 10 locations are already owned based on several criteria have been selected....

In densely populated urban environments, the distribution of microbes and the drivers of microbial community assemblages are not well understood. In sprawling metropolitan habitats, the "urban microbiome" may represent a mix of human-associated and environmental taxa. Here we carried out a baseline study of automated teller machine (ATM) keypads in New York City (NYC). Our goal was to describe ...

This paper presents a novel method of secured card-less Automated Teller Machine (ATM) authentication based on the three bio-metrics measures. It would help in identification and authorization individuals provide robust security enhancement. Moreover, it assist providing ways that cannot be impersonated. To best our knowledge, this Biometric_ fusion way is first ATM algorithm utilizes biometric...

The foundations of the eld of behavioral speci cation have matured. So, case studies are the important current topics of this eld. In our previous work, we built the behavioral speci cation of the Automated Teller Machine (ATM) system by using object composition and observable projection operators. From this experience, we noticed that this approach had the following problems: there was no good...

Inspired by an automated teller machine (ATM) cash replenishment problem involving population coverage requirements (PCRs) in the Netherlands, we propose vehicle tour with minimum requirements. In this problem, a set of minimum-cost routes is constructed subject to constraints on duration each route and replenished ATMs. A compact formulation incorporating family valid inequalities efficient to...

Automated Teller Machine (ATM) frauds are escalating gradually. The principal cause for this is the repetition of same personalized identification numbers (PINs) for multiple systems or accounts. Indirect PIN entry methods though available are not yet deployed everywhere and are not user friendly. To increase security and applicability we have implemented a new PIN entry method called SteganoPI...

An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal design, specification, and modeling of the ATM system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the ATM system is introduced as the initial requirements for the system. The ar...

Indonesia as a state of law is obliged that the must always be enforced, respected and obeyed by anyone without any reason for exception. In response to this, positive legal policies in are required able respond phenomena crimes committed utilizing this technology. The problems study 1) What policy criminal sanctions against account break-ins through Automated Teller Machines (ATMs)? 2) judge's...