{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:37Z","timestamp":1725558997274},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540191025"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-39118-5_7","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T15:51:38Z","timestamp":1279036298000},"page":"65-73","source":"Crossref","is-referenced-by-count":1,"title":["Finite State Machine Modelling of Cryptographic Systems in Loops"],"prefix":"10.1007","author":[{"given":"Franz","family":"Pichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Proceedings of EMCSR 88","author":"P. Franz","year":"1988","unstructured":"Pichler Franz and Herbert Pr\u00e4hofer: CAST. FSM A program system to support Finite State Machine methods Proceedings of EMCSR 88 (ed. R. Trappl) North Holland, Amsterdam 1988 (in preparation)"},{"key":"7_CR2","unstructured":"Pichler Franz and Heinz Schw\u00e4rtzel: CAST: Computerunterstutzte Systemtheorie Springer-Verlag Berlin (in preparation)"},{"key":"7_CR3","unstructured":"Prahofer Herbert: LOOPS-Implementierung von automatentheoretischen Methoden f\u00fcr \u201cDesign for Testability\u201d Anwendungen Master thesis, University Linz, September 1986"},{"key":"7_CR4","volume-title":"E und I (Elektrotechnik und Informationstechnik)","author":"P. Franz","year":"1988","unstructured":"Pichler Franz: Anwendung der Automatentheorie in der Kryptologie in: E und I (Elektrotechnik und Informationstechnik), 105. Jahrgang, Heft 1, J\u00e4nner 1988, Springer-Verlag Wien (in press)"}],"container-title":["Lecture Notes in Computer Science","Advances in Cryptology \u2014 EUROCRYPT \u201987"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:35:35Z","timestamp":1550324135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39118-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540191025"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-39118-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}