运用ASM描述安全协议

介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击.

A hybrid ASM approach for sparse volumetric data segmentation

Y. Zhu, S. Williams and R. Zwiggelaar, 'A hybrid ASM approach for sparse volumetric data segmentation', Pattern Recognition and Image Analysis 17 (2), 252-258 (2007)

Locking-in carbon, locking-out livelihoods? ASM and REDD in Sub-Saharan Africa

This paper examines the potential mutual conflict between interventions aimed at formalising artisanal and small-scale mining (ASM) on the one hand, and policies implemented in response to the Reducing Emissions from Deforestation and Forest Degradation (REDD) initiative on the other. Deforestation caused by ASM undermines sound forest management, and potentially threatens the implementation of REDD. Conversely, the adoption of REDD could further marginalise and criminalise the ASM sector, reducing its contribution to poverty alleviation. Reviewing a series of commonalities between ASM and forest management highlights many difficulties facing policy-makers. Potentially, contradictory outcomes of evolving governance arrangements means novel cross-sectoral institutions will be required in order to realise the full potential of REDD and ASM to address poverty reduction in a complementary fashion. The analysis reiterates the centrality of livelihoods to REDD and the need for policies to take into account local contexts.

Atividade de quitinases e peroxidases em folhas de eucalipto em diferentes estágios de desenvolvimento após tratamento com acibenzolar-S-metil (ASM) e inoculação com Puccinia psidii

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Penetration of ASM 981 in canine skin: a comparative study

ASM 981 has been developed for topical treatment of inflammatory skin diseases. It specifically inhibits the production and release of pro-inflammatory cytokines. We measured the skin penetration of ASM 981 in canine skin and compared penetration in living and frozen skin. To make penetration of ASM 981 visible in dog skin, tritium labelled ASM 981 was applied to a living dog and to defrosted skin of the same dog. Using qualitative autoradiography the radioactive molecules were detected in the lumen of the hair follicles until the infundibulum, around the superficial parts of the hair follicles and into a depth of the dermis of 200 to 500 microm. Activity could not be found in deeper parts of the hair follicles, the dermis or in the sebaceous glands. Penetration of ASM 981 is low in canine skin and is only equally spread in the upper third of the dermis 24 hours after application. Penetration in frozen skin takes even longer than in living canine skin but shows the same distribution.

Sharḥ al-asmāʼ al-ḥusná : manuscript, undated

Written in several hands, in one or two columns, from 21 to 26 lines per pages, in black rubricated in red. Folios 6v-13r framed within double black lines.

Hādhihi al-Thalāthat alwāḥ al-jafrīyah al-mutaḍamminah asmāʼ mulūk Āl ʻUthmān : ibtidāʼan min al-Sulṭān ʻUthmān al-Awwal ilá al-sulṭān Muḥammad al-Akhīr al-Imām Muḥammad al-Mahdī fī ākhir al-zamān : manuscript, undated

With: Kitāb al-Talkhīṣ min mīzān al-kalimāt al-jafrīyah wa-ḥawādith al-sinīn al-hijrīyah.

Asmāʼ kutub Ḥaḍrat al-Shaykh Ibn al-ʻArabi : manuscript, undated

Cream laid paper with watermarks. 19.9 x 14.3 cm (16.5 x 9.2 cm.)

al- Juz al-awwal min Asmā al-mubhamah fī al-anbā al-muḥkamah / taṣnīf al-Imām al-Ḥāfiẓ Abī Bakr Aḥmad ibn ʻAlī ibn Thābit al-Khaṭīb al-Baghdādī : manuscript, [12--?]

Bound with ʻAlī ibn al-Ḥasan ibn ʻAsākir, Kitāb al-Arbaʻīn al-buldānīyah, and other hadith collections.

al-Ṭāliʻ al-saʻīd al-jāmiʻ li-asmāʾ al-fuḍalāʾ wa-al-ruwāt bi-aʻlá al-Ṣaʻīd [microform] /

Edited by Amīn ʻAbd al-ʻAzīz.

Horae physicae Berolinensis : collectae ex symbolis virorum doctorum H. Linkii, C. Asm. Rudolfi et W. [!], Fr. Klugii ... C.G. Neesii ab Esenbeck ... Fr. Ottonis ... Adalb. a Chamisso ... Fr. Hornschuchii ... D. a Schlechtendal ... et C.G. Ehrenbergii ... ; edicuravit Christianus Godof. Nees ab Esenbeck.

Includes index.

Hand receipt covering contents of Components of End Item (COEI), Basic Issue Items (BII), and Additional Authorization List (AAL) : electronic shops, shelter mounted, avionics, AN/ASM-146B (NSN 4940-00-435-7764), AN/ASM-146C (NSN 4940-01-110-9560) and AN/ASM-147B (NSN 4940-00-435-7765).

"10 September 1985."

Operator, organizational, DS, GS, and depot maintenance manual : electronic shops, shelter mounted, avionics, AN/ASM-146A (NSN 4940-00-877-8726) and AN/ASM-147A (NSN 4940-00-912-3532).

"December 1967."