Giambiagi, P. 2001: Secrecy for Mobile Implementations of Security Protocols. TRITA-IT AVH 01:05, Department of Microelectronics and Information Technology, Stockholm.ISSN 1403-5286. Mobile code technology offers interesting possibilities to the practitioner, but also raises strong concerns about security. One aspect of security is secrecy, the preservation of confidential information. This the...

Fredlund, L.-Å. 2001: A Framework for Reasoning about ERLANG Code. TRITA-IT AVH 01:04, Department of Microelectronics and Information Technology, Stockholm. ISSN 14035286. We present a framework for formal reasoning about the behaviour of software written in ERLANG, a functional programming language with prominent support for process based concurrency, message passing communication and distribu...

The complex mineralogy and low concentration of silver in polymetallic ores makes mineralogical characterization extraction challenging. In this study, quantified the flotation products from batch tests was undertaken for a silver-rich zinc-lead ore using QEMSCAN® (Quantitative Evaluation Minerals by Scanning Electron Microscope), scanning electron microscope with an energy dispersive spectrome...

Geometry and composition of veins associated with ore deposits, combined mineralogical textural constraints, are indispensable to understand the evolution mineralized systems. The never mined Cannero Riviera system (VCO province, Western Alps, Italy), has been detected in 2015 by Alpine Gold Lodes Snc after investigated during Oberto's Master Thesis 2019. Preliminary field data, integrated micr...

DOI:10.17014/ijog.9.3.279-290 The Wanagon Gold prospect area located in the Ertsberg District, Papua Province, eastern part of Indonesia, is predominantly underlain by Upper Mesozoic to Cenozoic sedimentary rocks intruded Sill monzodiorite-diorite and andesite intrusion (Wanagon Dike). study previous researchers at was based on pre-2005 exploration data did not contain extensive additional dril...

Egypt has no domestic silver ore sources and is rarely found in the Egyptian archaeological record until Middle Bronze Age. Bracelets tomb of queen Hetepheres I, mother pyramid builder king Khufu (date reign c. 2589–2566 BC), form largest most famous collection artefacts from early Egypt, but they have not been analysed for decades. We samples Museum Fine Arts, Boston using bulk XRF, micro-XRF,...

1 Budapest University of Technology and Economics, Dept. of Telecomm. and Media Informatics, High Speed Networks Laboratory (HSNLab), Magyar tudósok. krt. 2, 1117, Budapest, Hungary E-mail: [email protected] 2 AGH University of Science and Technology, Al. Mickiewicza 30, 30-059 Krakow, Poland E-mail: {kantor|wajda}@kt.agh.edu.pl 3 Dept. of Information Technology, Ghent University IBBT, Gas...

Two occurrences of platinum-group elements (PGEs) along the northern margin of the Skaergaard intrusion include a sulfide-bearing gabbro with slightly less than 1 ppm PGE + Au and a clinopyroxene-actinolite-plagioclase-biotiteilmenite schist with 16 vol% sulfide and 1.8 ppm PGE + Au. Both have assemblages of pyrrhotite, pentlandite, and chalcopyrite typical for orthomagmatic sulfides. Matching ...